Computer Science and Engineering, Department of


A Comparative Study of Arc-Consistency Algorithms

Lin Xu, University of Nebraska - Lincoln
Berthe Y. Choueiry, University of Nebraska - Lincoln

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.