A fast arc consistency algorithm for n-ary constraints

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2005, Pages 405-410

  Lhomme, Olivier ^a   Régin, Jean Charles ^b  

^a IBM   (United States)

^b Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; KNOWLEDGE ACQUISITION;

SUPPORTING TUPLES; TABLE CONSTRAINTS;

CONSTRAINT THEORY;

EID: 29344466023     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Bessière, C., and Régin, J.-C. 1997. Arc consistency for general constraint networks: preliminary results. In Proceedings of IJCAI'97, 398-404.
2. Bessière, C., and Régin, J.-C. 1999. Enforcing arc consistency on global constraints by solving subproblems on the fly. In Proceedings of CP'99, 103-117.
3. Bessière, C., and Régin, J.-C. 2001. Refining the basic constraint propagation algorithm. In Proceedings of IJCAI'01, 309-315.
4. Bessière, C.; Freuder, E.; and Régin, J.-C. 1999. Using constraint metaknowledge to reduce arc consistency computation. Artificial Intelligence 107(1):125-148.
5. Bessière, C. 1994. Arc-consistency and arc-consistency again. Artificial Intelligence 65(1):179-190.
6. ILOG. 2005. ILOG Solver 6.1 User's manual. ILOG S.A.
7. Lhomme, O. 2004. Arc-consistency filtering algorithms for logical combinations of constraints. In Proc. CP-AI-OR'04.
8. Zhang, Y., and Yap, R. 2001. Making ac-3 an optimal algorithm. In Proceedings of IJCAI'01, 316-321.