A Comparative Study of Arc-Consistency Algorithms
Document Type Article
Published in Working Note of the Constraint Systems Laboratory (UNL), Sept. 4, 2001.
Arc consistency plays an important role in Constraint Satisfaction Problems (CSPs). Several algorithms have been made to deal with arc consistency. AC-3, AC-4, AC-7 are very famous algorithms in this area. Our work is tried to figure out, which one is better to use. We judge it not only by constrain checks but also by the CPU time and so on. Based on AC algorithms, we implement Maintaining Arc consistency (MAC), and compare the performance of MAC-3, MAC-4 with FC.