Narrowing Support Searching Range in Maintaining Arc Consistency for Solving Constraint Satisfaction Problems

Arc consistency is the most popular filtering technique for solving constraint satisfaction problems. Constraint check plays a central role in establishing arc consistency. In this paper, we propose a method to save constraint checks in maintaining coarse-grained arc consistency during backtracking search for solving the constraint satisfaction problems. We reduce the support searching range by utilizing the information generated by an AC3.1 algorithm at preprocessing step. Compared with the existing maintaining arc consistency (MAC) algorithms, the proposed MAC3(be) algorithm saves constraint checks without maintaining additional data structures at each search tree node. Our experimental results show that MAC3(be) saves both constraint checks and CPU time while solving some benchmark problems.