一个标准的约束满足问题通常由变量集合、每个变量的值域、以及约束集合三个核心部分组成

回溯搜索是求解约束满足问题的常用暴力搜索方法，它每次为一个变量赋值，当发现赋值违反约束时就回退到上一个变量尝试其他取值

前向检验剪枝技术可以在为某个变量赋值后，提前排除相邻未赋值变量值域中与当前赋值冲突的取值，有效减少搜索空间

在约束满足问题中，所有约束都必须是二元约束（即仅涉及两个变量的约束），涉及超过两个变量的高阶约束无法在CSP框架中求解