Yizhi Lv

Early and Efficient Identification of Useless Constraint Propagation for Alldifferent Constraints

Constraints propagation and backtracking are two basic techniques for solving constraint satisfaction problems (CSPs). During the search for a solution, the variable and value pairs that do not belong to any solution can be discarded by constraint propagation to ensure generalized arc consistency so…