LAUSR

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 MAC $3_{be}$ algorithm saves constraint checks without maintaining additional data structures at each search tree node. Our experimental results show that MAC $3_{be}$ saves both constraint checks and CPU time while solving some benchmark problems.