Arc consistency during search

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 137-142

  Likitvivatanavong, Chavalit ^a   Zhang, Yuanlin ^b   Shannon, Scott ^b   Bowen, James ^c   Freuder, Eugene C ^c  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b Department of Electrical and Computer Engineering   (United States)

^c UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

ARC CONSISTENCY; COMPLEXITY MEASUREMENT; CONSTRAINT PROGRAMMING SYSTEMS; EMPIRICAL STUDIES; RESIDUAL DATUM; SEARCH PROCEDURES; SYSTEMATIC STUDY; TIME AND SPACE COMPLEXITY;

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; CONSTRAINT THEORY;

ALGORITHMS;

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

References (7)

1. C. Bessiere, J.C. Regin, R.H.C. Yap, and Y. Zhang. An optimal coarse-grained arc consistency algorithm. Artificial Intelligence, 165(2):165-185, 2005. (Pubitemid 40701743)
2. Christophe Lecoutre and Fred Hemery. A study of residual supports in arc consistency. Manuscript, 2006.
3. A. K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1):118-126, 1977.
4. Jean-Charles Régin. Maintaining arc consistency algorithms during the search without additional space cost. In Proceedings of CP-05, pages 520-533, 2005.
5. D. Sabin and E. Freuder. Contradicting conventional wisdom in constraint satisfaction. In Proceedings of PPCP-94, pages 10-20, 1994.
6. M. R. C. van Dongen. To avoid repeating checks does not always save time. In Proceedings of AICS'2003, Dublin, Ireland, 2003.
7. Richard J. Wallace. Why AC-3 is almost always better than AC-4 for establishing arc consistency in CSPs. In Proceedings of IJCAI- 93, pages 239-247, Chambery, France, 1993.