Arc consistency for soft constraints

Artificial Intelligence

Volumn 154, Issue 1-2, 2004, Pages 199-227

  Cooper, Martin ^a   Schiex, Thomas ^b  

^a IRIT   (France)

^b CEMAGREF   (France)

Author keywords

Arc consistency; Constraint satisfaction; Soft constraints

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; FUZZY SETS; POLYNOMIALS;

ARC CONSISTENCY; CONSTRAINT SATISFACTION; SOFT CONSTRAINTS;

ARTIFICIAL INTELLIGENCE;

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

References (25)

1. Affane M.S., Bennaceur H. A weighted arc consistency technique for Max-CSP. Proc. 13th ECAI, Brighton, UK. 1998;209-213.
2. Bistarelli S., Gennari R., Rossi F. General properties and termination conditions for soft constraint propagation. Constraints. 8:(1):2003;79-97.
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. Bistarelli S., Montanari U., Rossi F. Constraint solving over semirings. Proc. 14th IJCAI, Montreal, QB. 1995;624-630.
5. Cooper M.C. Reduction operations in fuzzy or valued constraint satisfaction. Fuzzy Sets and Systems. 134:(3):2003;311-342.
6. de Givry S., Larrosa J., Meseguer P., Schiex T. Solving Max-Sat as weighted CSP. Proc. Ninth International Conference on Principles and Practice of Constraint Programming, Kinsale, Ireland. Lecture Notes in Computer Science. 2003;Springer, Berlin.
7. de Givry S., Verfaillie G., Schiex T. Bounding the optimum of constraint optimization problems. Proc. Third International Conference on Principles and Practice of Constraint Programming, Schloss Hagenberg, Austria. 1997;405-419.
8. Dechter R. Mini-buckets: A general scheme for generating approximations in automated reasoning. Proc. IJCAI-97, Nagoya, Japan. 1997;1297-1303.
9. Evans K., Konikoff M., Mathis R., Maden J., Whipple G. Totally ordered commutative monoids. Semigroup Forum. 62:(2):2001;249-278.
10. Fargier H., Lang J., Schiex T. Selecting preferred solutions in Fuzzy Constraint Satisfaction Problems. Proc. 1st European Congress on Fuzzy and Intelligent Technologies. 1993.
11. Freuder E., Wallace R. Partial constraint satisfaction. Artificial Intelligence. 58:1992;21-70.
12. Klement E., Mesiar R., Pap E. Triangular Norms. 2000;Kluwer Academic, Dordrecht.
13. A.M. Koster, Frequency assignment: Models and algorithms, PhD Thesis, University of Maastricht, The Netherlands, available at http://www.zib.de/koster/thesis.html, November 1999.
14. Larrosa J. On arc and node consistency in weighted CSP. Proc. AAAI-02, Edmondton, AB. 2002;48-53.
15. Larrosa J., Meseguer P., Schiex T. Maintaining reversible DAC for Max-CSP. Artificial Intelligence. 107:(1):1999;149-163.
16. Larrosa J., Meseguer P., Schiex T., Verfaillie G. Reversible DAC and other improvements for solving Max-CSP. Proc. AAAI-98, Madison, WI. 1998;347-352.
17. Larrosa J., Schiex T. In the quest of the best form of local consistency for weighted CSP. Proc. IJCAI-03, Acapulco, Mexico. 2003;239-244.
18. Mohr R., Masini G. Good old discrete relaxation. Proc. ECAI-88, Munchen, Germany. 1988;651-656.
19. Rosenfeld A., Hummel R., Zucker S. Scene labeling by relaxation operations. IEEE Trans. Systems Man Cybernet. 6:(6):1976;173-184.
20. T. Schiex, Maximizing the reversible DAC lower bound in Max-CSP is NP -hard, Techical Report 1998/02, INRA, July 1998.
21. Schiex T. Possibilistic constraint satisfaction problems or "How to handle soft constraints?" Proc. 8th Internat. Conf. on Uncertainty in Artificial Intelligence, Stanford, CA. 1992;268-275.
22. Schiex T. Arc consistency for soft constraints. Principles and Practice of Constraint Programming - CP 2000, Singapore. Lecture Notes in Computer Science. vol. 1894:2000;411-424 Springer, Berlin.
23. Schiex T., Fargier H., Verfaillie G. Valued constraint satisfaction problems: Hard and easy problems. Proc. 14th IJCAI, Montreal, QB. 1995;631-637.
24. Shapiro L., Haralick R. Structural descriptions and inexact matching. IEEE Trans. Pattern Anal. Machine Intelligence. 3:1981;504-519.
25. Wallace R. Directed arc consistency preprocessing. Meyer M. Selected papers from the ECAI-94 Workshop on Constraint Processing. Lecture Notes in Computer Science. vol. 923:1995;121-137 Springer, Berlin.