An optimal coarse-grained arc consistency algorithm

Artificial Intelligence

Volumn 165, Issue 2, 2005, Pages 165-185

  Bessière, Christian ^a   Régin, Jean Charles ^b   Yap, Roland H C ^c   Zhang, Yuanlin ^d  

^a LIRMM   (France)

^b IBM   (United States)

^c NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

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

Author keywords

Arc consistency; Constraint networks; Constraint programming systems; Non binary constraints; Path consistency

Indexed keywords

ARTIFICIAL INTELLIGENCE; BENCHMARKING; COMPUTATIONAL COMPLEXITY; PROBLEM SOLVING; SEMANTICS; SET THEORY;

ARC CONSISTENCY; CONSTRAINT NETWORKS; CONSTRAINT PROGRAMMING SYSTEMS; NON-BINARY CONSTRAINTS; PATH CONSISTENCY;

ALGORITHMS;

EID: 18944390206     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2005.02.004     Document Type: Article

References (29)

1. C. Bessière, and J. Régin Refining the basic constraint propagation algorithm Proc. IJCAI-01, Seattle, WA 2001 309 315
2. Y. Zhang, and R. Yap Making AC-3 an optimal algorithm Proc. IJCAI-01, Seattle, WA 2001 316 321
3. A. Mackworth Consistency in networks of relations Artificial Intelligence 8 1977 99 118
4. J. McGregor Relational consistency algorithms and their application in finding subgraph and graph isomorphism Inform. Sci. 19 1979 229 250
5. R. Mohr, and T. Henderson Arc and path consistency revisited Artificial Intelligence 28 1986 225 233
6. C. Bessière, E.C. Freuder, and J.C. Régin Using inference to reduce arc consistency computation Proc. IJCAI-95, Montréal, Canada 1995 592 598
7. C. Bessière, E. Freuder, and J. Régin Using constraint metaknowledge to reduce arc consistency computation Artificial Intelligence 107 1999 125 148
8. A. Mackworth, and E. Freuder The complexity of some polynomial network consistency algorithms for constraint satisfaction problems Artificial Intelligence 25 1985 65 74
9. A. Chmeiss, and P. Jégou Efficient path-consistency propagation Internat. J. Artificial Intelligence Tools 7 2 1998 121 142
10. R. Wallace Why AC-3 is almost always better than AC-4 for establishing arc consistency in CSPs Proc. IJCAI-93, Chambéry, France 1993 239 245
11. C. Bessière Arc-consistency and arc-consistency again Artificial Intelligence 65 1994 179 190
12. R. Dechter, and J. Pearl Network-based heuristics for constraint-satisfaction problems Artificial Intelligence 34 1988 1 38
13. P. Prosser An empirical study of phase transition in binary constraint satisfaction problems Artificial Intelligence 81 1-2 1996 81 109
14. D. Frost, C. Bessière, R. Dechter, and J. Régin Random uniform CSP generators http://www.ics.uci.edu/~dfrost/csp/generator.html 1996
15. C. Cabon, S. de Givry, L. Lobjois, T. Schiex, and J. Warners Radio link frequency assignment Constraints 4 1999 79 89
16. I. Gent, E. MacIntyre, P. Prosser, P. Shaw, and T. Walsh The constrainedness of arc consistency Proc. CP-97 Linz, Austria 1997 327 340
17. D. Sabin, and E. Freuder Contradicting conventional wisdom in constraint satisfaction Proceedings of the Second Workshop on Principles and Practice of Constraint Programming, Rosario, Orcas Island, WA 1994 10 20
18. M. Singh Path consistency revisited Internat. J. Artificial Intelligence Tools 6 1-2 1996 127 141
19. A. Mackworth On reading sketch maps Proc. IJCAI-77, Cambridge, MA 1977 598 606
20. ILOG, User's manual, ILOG Solver 4.4, ILOG S.A., 1999
21. F. Laburthe User's manual, CHOCO 0th ed. 2000
22. M. Perlin Arc consistency for factorable relations Artificial Intelligence 53 1992 329 342
23. J. Gaschnig Experimental case studies of backtrack vs waltz-type vs new algorithms for satisfying assignment problems Proc. CCSCSI-78 1978 268 277
24. C. Lecoutre, F. Boussemart, and F. Hemery Exploiting multidirectionality in coarse-grained arc consistency algorithms Proc. CP-03, Kinsale, Ireland 2003 480 494
25. R. Wallace, and E. Freuder Ordering heuristics for arc consistency algorithms Proceedings of the Ninth Canadian Conference on Artificial Intelligence, Vancouver, Canada 1992 163 169
26. R. Mohr, and G. Masini Good old discrete relaxation Proc. ECAI-88, Munchen, FRG 1988 651 656
27. C. Bessière, and J. Régin Arc consistency for general constraint networks: preliminary results Proc. IJCAI-97, Nagoya, Japan 1997 398 404
28. P. Van Hentenryck, Y. Deville, and C. Teng A generic arc-consistency algorithm and its specializations Artificial Intelligence 57 1992 291 321
29. Y. Zhang, and R. Yap Arc consistency on n-ary monotonic and linear constraints Proc. CP-00, Singapore 2000 470 483