A heuristic algorithm for variable ordering procedure was designed by using new variable representation, and a variable exchanging heuristic algorithm was used to escape from the local optima.

• 对分级模型提出改进的修复约束满足算法（修复法），通过采用新的变量表示形式，设计了变量排序的启发式算法，并采用变量互换启发式算法，以保证全局搜索性能。