loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'04)
Constraint Satisfaction Problems: Backtrack Search Revisited
Boca Raton, Florida
November 15-November 17
ISBN: 0-7695-2236-X
Assef Chmeiss, University of Artois
Lakhdar Saïs, University of Artois
Many backtrack search algorithms has been designed over the last years to solve constraint satisfaction problems. Among them, Forward Checking (FC) and Maintaining Arc Consistency (MAC) algorithms are the most popular and studied algorithms. In this paper, such algorithms are revisited and extensively compared giving rise to interesting characterization of their efficiency with respect to random instances. More precisely, we provide experimental evidence that FC outperforms MAC on hard CSPs with high graph density and low constraint tightness whereas MAC is better on hard CSPs with low density and high constraints tightness. This results show that on some CSPs maintaining full arc consistency during search might be time consuming. Then, we propose a new generic approach that maintain partial and parameterizable form of local consistency.
Index Terms:
Constraint satisfaction, Search, Forward Checking, Maintaining arc consistency
Citation:
Assef Chmeiss, Lakhdar Saïs, "Constraint Satisfaction Problems: Backtrack Search Revisited," ictai, pp.252-257, 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.