Cyclic consistency: A local reduction operation for binary valued constraints

Artificial Intelligence

Volumn 155, Issue 1-2, 2004, Pages 69-92

  Cooper, Martin C ^a  

^a IRIT   (France)

Author keywords

Arc consistency; Constraint propagation; In scope reductions; Local irreducibility; MAX CSP; Path consistency; Valued constraint satisfaction problem (VCSP)

Indexed keywords

ALGORITHMS; POLYNOMIALS; PROBLEM SOLVING; SET THEORY; TREES (MATHEMATICS);

ARC CONSISTENCY; CONSTRAINT PROPAGATION; IN-SCOPE REDUCTIONS; LOCAL IRREDUCIBILITY; MAX-CSP; PATH CONSISTENCY; VALUED CONSTRAINT SATISFACTION PROBLEM (VCSP);

ARTIFICIAL INTELLIGENCE;

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

References (18)

1. Affane M.S., Bennaceur H. A weighted arc consistency technique for MAX-CSP. Proc. of the 13th ECAI, Brighton, UK. 1998;209-213.
2. Bistarelli S., Montanari U., Rossi F. Semiring based constraint solving and optimization. J. ACM. 44:(2):1997;201-236.
3. Bistarelli S., Fargier H., Montanari U., Rossi F., Schiex T., Verfaillie G. Semiring-based CSPs and valued CSPs: Frameworks, properties and comparison. Constraints. 4:1999;199-240.
4. Bliek C., Sam-Haroud D. Path consistency on triangulated constraint graphs. Proc. IJCAI-99, Stockholm, Sweden. 1999;456-461.
5. Chmeiss A., Jégou P. Path consistency: when space misses time. Proc AAAI-96, Portland, OR. 1996;196-201.
6. Cooper M.C. An optimal k -consistency algorithm. Artificial Intelligence. 41:1989;89-95.
7. Cooper M.C. Linear-time algorithms for testing the realisability of line drawings of curved objects. Artificial Intelligence. 108:1999;31-67.
8. Cooper M.C. Reduction operations in fuzzy and valued constraint satisfaction. Fuzzy Sets and Systems. 134:(3):2003.
9. M.C. Cooper, T. Schiex, Arc consistency for soft constraints, Artificial Intelligence, in press; doi:10.1016/j.artint.2003.09.002.
10. Debruyne R., Bessière C. From restricted path consistency to max-restricted path consistency. Smolka G. Principles and Practice of Constraint Programming - CP'97. Lecture Notes in Comput. Sci. vol. 1330:1997;312-326 Springer, Berlin.
11. Dowling W.F., Gallier J.H. Linear-time algorithms for testing the satisfiability of propositional Horn formulae. J. Logic Programming. 3:1984;267-284.
12. Freuder E., Wallace R. Partial constraint satisfaction. Artificial Intelligence. 58:1992;21-70.
13. Han C., Lee C. Comments on Mohr and Henderson's path consistency algorithm. Artificial Intelligence. 36:1988;125-130.
14. Larrosa J., Meseguer P., Schiex T. Maintaining reversible DAC for Max-CSP. Artificial Intelligence. 107:(1):1999;149-163.
15. Mohr R., Henderson T.C. Arc and path consistency revisited. Artificial Intelligence. 28:1986;225-233.
16. Schiex T. Arc consistency for soft constraints. Principles and Practice of Constraint Programming - CP 2000. Lecture Notes in Comput. Sci. vol. 1894:2000;411-424 Springer, Berlin.
17. Schiex T., Fargier H., Verfaillie G. Valued constraint satisfaction problems: hard and easy problems. Proc. IJCAI-95, Montreal, Quebec. 1995;631-637.
18. Schiex T., Régin J.-C., Gaspin C., Verfaillie G. Lazy arc consistency. Proc AAAI-96, Portland, OR. 1996;216-221.