Refining the basic constraint propagation algorithm

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2001, Pages 309-315

  Bessière, Christian ^a   Régin, Jean Charles ^b  

^a LIRMM   (France)

^b IBM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARC-CONSISTENCY ALGORITHMS; CONSTRAINT PROPAGATION; CONSTRAINT PROPAGATION ALGORITHMS; CONSTRAINT SOLVERS; OPTIMALITY; TIME COMPLEXITY;

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING;

ALGORITHMS;

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

References (15)

1. C. Bessière, E. C. Freuder, and J. C. Régin. Using inference to reduce arc consistency computation. In Proceedings IJCAI'95, pages 592-598, Montréal, Canada, 1995.
2. C. Bessière, E.C. Freuder, and J.C. Régin. Using constraint metaknowledge to reduce arc consistency computation. Artificial Intelligence, 107:125-148, 1999.
3. C. Bessière. Arc-consistency and arc-consistency again. Artificial Intelligence, 65:179-190, 1994.
4. C. Cabon, S. de Givry, L. Lobjois, T. Schiex, and J.P. Warners. Radio link frequency assignment. Constraints, 4:79-89, 1999. (Pubitemid 129583417)
5. A. Chmeiss and P. Jégou. Efficient path-consistency propagation. International Journal on Artificial Intelligence Tools, 7(2):121-142, 1998. (Pubitemid 128126863)
6. I.P. Gent, E. MacIntyre, P. Prosser, P. Shaw, and T. Walsh. The constrainedness of arc consistency. In Proceedings CP'97, pages 327-340, Linz, Austria, 1997.
7. ILOG. User's manual. ILOG Solver, 4.3 edition, 1998.
8. F. Laburthe. User's manual. CHOCO, 0.39 edition, 2000.
9. A.K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8:99-118, 1977.
10. J.J. McGregor. Relational consistency algorithms and their application in finding subgraph and graph isomorphism. Information Science, 19:229-250, 1979. (Pubitemid 10432392)
11. R. Mohr and T.C. Henderson. Arc and path consistency revisited. Artificial Intelligence, 28:225-233, 1986.
12. P. Prosser. An empirical study of phase transition in binary constraint satisfaction problems. Artificial Intelligence, 81:81-109, 1996. (Pubitemid 126349550)
13. D. Sabin and E.C. Freuder. Contradicting conventional wisdom in constraint satisfaction. In Proceedings PPCP'94, Seattle WA, 1994.
14. P. Van Hentenryck, Y. Deville, and C.M. Teng. A generic arc-consistency algorithm and its specializations. Artificial Intelligence, 57:291-321, 1992. (Pubitemid 23586696)
15. R.J. Wallace. Why AC-3 is almost always better than AC-4 for establishing arc consistency in CSPs. In Proceedings IJCAI'93, pages 239-245, Chambéry, France, 1993.