Using constraint metaknowledge to reduce arc consistency computation

Artificial Intelligence

Volumn 107, Issue 1, 1999, Pages 125-148

  Bessièrea, Christian ^a   Freuder, Eugene C ^b   Régin, Jean Charles ^c  

^a LIRMM   (France)

^b UNIVERSITY OF NEW HAMPSHIRE   (United States)

^c IBM   (United States)

Author keywords

Arc consistency; Constraint satisfaction

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; PROBLEM SOLVING;

ARC CONSISTENCY COMPUTATION; METAKNOWLEDGE;

ARTIFICIAL INTELLIGENCE;

EID: 0032639823     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(98)00105-2     Document Type: Article

References (23)

1. C. Bessière, M.O. Cordier, Arc-consistency and arc-consistency again, in: Proceedings AAAI-93, Washington, DC, 1993, pp. 108-113.
2. C. Bessière, Arc-consistency and arc-consistency again, Artificial Intelligence 65 (1994) 179-190.
3. C. Bessière, E.C. Freuder, J.C. Régin, Using inference to reduce arc consistency computation, in: Proceedings IJCAI-95, Montréal, Quebec, 1995, pp. 592-598.
4. C. Bessière, J.C. Régin, Using bidirectionality to speed up arc-consistency processing, in: M. Meyer (Ed.), Constraint Processing, Lecture Notes in Computer Science, Vol. 923, Springer, Heidelberg, 1995, pp. 157-169.
5. C. Bessière, J.C. Régin, MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems, in: Proceedings CP-96, Cambridge, MA, 1996, pp. 61-75.
6. C. Bessière, J.C. Régin, Arc consistency for general constraint networks: Preliminary results, in: Proceedings IJCAI-97, Nagoya, Japan, 1997, pp. 398-404.
7. Y. Deville, P. Van Hentenryck, An efficient arc consistency algorithm for a class of CSP problems, in: Proceedings IJCAI-91, Sydney, Australia, 1991, pp. 325-330.
8. D. Frost, C. Bessière, R. Dechter, J.C. Régin, Random uniform CSP generators, URL: http://www.ics. uci.edu/~dfrost/csp/generator.html, 1996.
9. E.C. Freuder, Synthesizing constraint expressions, Comm. ACM 21 (11) (1978) 958-966.
10. E.C. Freuder, Using metalevel constraint knowledge to reduce constraint checking, in: M. Meyer (Ed.), Constraint Processing, Lecture Notes in Computer Science, Vol. 923, Springer, Heidelberg, 1995, pp. 171-184.
11. J. Gaschnig, Experimental case studies of backtrack vs. Waltz-type vs. new algorithms for satisficing assignment problems, in: Proceedings CCSCSI-78, 1978, pp. 268-277.
12. I.P. Gent, E. MacIntyre, P. Prosser, P. Shaw, T. Walsh, The constrainedness of arc consistency, in: Proceedings CP-97, Linz, Austria, 1997, pp. 327-340.
13. S.A. Grant, B.M. Smith, The arc and path consistency phase transitions, in: Proceedings CP-96, Cambridge, MA, 1996, pp. 541-542.
14. S.A. Grant, B.M. Smith, The phase transition behavior of maintaining arc consistency, in: Proceedings ECAI-96, Budapest, Hungary, 1996, pp. 175-179.
15. A.K. Mackworth, Consistency in networks of relations, Artificial Intelligence 8 (1977) 99-118.
16. A.K. Mackworth, E.C. Freuder, The complexity of constraint satisfaction revisited, Artificial Intelligence 59 (1993) 57-62.
17. R. Mohr, T.C. Henderson, Arc and path consistency revisited, Artificial Intelligence 28 (1986) 225-233.
18. M. Perlin, Arc consistency for factorable relations, Artificial Intelligence 53 (1992) 329-342.
19. J.C. Régin, Développement d'outils algorithmiques pour l'Intelligence Artificielle. Application à la chimie organique, Ph.D. Thesis, University of Montpellier II, December 1995.
20. D. Sabin, E.C. Freuder, Contradicting conventional wisdom in constraint satisfaction, in: Proceedings PPCP-94, Seattle, WA, 1994.
21. P. Van Hentenryck, Y. Deville, C.M. Teng, A generic arc-consistency algorithm and its specializations, Artificial Intelligence 57 (1992) 291-321.
22. R.J. Wallace, Why AC-3 is almost always better than AC-4 for establishing arc consistency in CSPS, in: Proceedings IJCAI-93, Chambéry, France, 1993.
23. R.J. Wallace , E.C. Freuder, Ordering heuristics for arc consistency algorithms, in: Proceedings 9th Canadian Conference on Artificial Intelligence, Vancouver, BC, 1992, pp. 163-169.