约束满足问题（Constraint Satisfaction Problem，CSP）是人工智能的一个重要研究方向，相关技术被广泛应用于配置、调度及规划等问题求解......