约束满足问题(Constraint Satisfaction Problems,CSPs)是人工智能的一个重要组成部分。相关求解技术在配置、规划、调度等问题上......