Maintaining Singleton Arc-Consistency

  title={Maintaining Singleton Arc-Consistency},
  author={Christophe Lecoutre and Patrick Prosser},
Singleton Arc-Consistency (SAC) [7] is a simple and strong level of consistency but is costly to enforce. To date, research has focused on improving the performance of algorithms that achieve SAC, and comparing algorithms as a preprocessing step before actually solving a problem. Here, we show for the first time how a basic SAC algorithm can be readily incorporated into an open source constraint programming toolkit and then used within the search process i.e. the search process maintains SAC… CONTINUE READING
Highly Cited
This paper has 28 citations. REVIEW CITATIONS
20 Citations
17 References
Similar Papers

Similar Papers

Loading similar papers…