当使用回溯搜索解决CSP时，必须对要分支或实例化的变量以及要给该变量的值做出一系列决策。这些决策称为变量和值排序。已有研究表明，对于许多问题，变量的选择和值的排序对于有效解决问题是至关重要的(如[5,50,55,63])。变量或值排序可以是静态的(排序在搜索之前是固定的并确定)，也可以是动态的(排序在搜索过程中确定)。动态变量排序在文献中得到了广泛的关注。它们早在1965年就提出了[57]，现..

另一种扩展迭代改进策略的方法是，当搜索过程即将停滞在一个局部极小值时，修改该评估函数[71]。这种方法也称为动态本地搜索(Dynamic Local Search, DLS)[52]。基于惩罚的算法通过惩罚权重来修改评估函数，惩罚权重与解决方案组件或候选解决方案的其他特征相关联；在CSP的情况下，惩罚权重通常与给定CSP实例和SAT的约束关系相关联，类似地，与给定CNF公式的子句相关（在后一种..