Relaxations of semiring constraint satisfaction problems

Information Processing Letters

Volumn 103, Issue 5, 2007, Pages 177-182

  Leenen, Louise ^a   Meyer, Thomas ^b   Ghose, Aditya ^a  

^a UNIVERSITY OF WOLLONGONG   (Australia)

^b DSI CSIR Nanotechnology Innovation Centre   (South Africa)

Author keywords

Combinatorial problems; Over constrained problems; Preferences and soft constraints; Semiring constraint satisfaction problems

Indexed keywords

COMPUTATIONAL METHODS; CONSTRAINT THEORY; OPTIMIZATION; RELAXATION PROCESSES;

COMBINATORIAL PROBLEMS; OVER-CONSTRAINED PROBLEMS; PREFERENCES AND SOFT CONSTRAINTS; SEMIRING CONSTRAINT SATISFACTION PROBLEMS;

PROBLEM SOLVING;

EID: 34250197929     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2007.03.011     Document Type: Article

References (8)

1. S. Bistarelli, E. Freuder, B. O'Sullivan, Encoding partial constraint satisfaction in the semiring-based framework for soft constraints, in: Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence, 2004
2. S. Bistarelli, J. Kelleher, B. O'Sullivan, Tradeoff generation using soft constraints, in: Proceedings of CSCLP, 2003
3. Bistarelli S., Montanari U., and Rossi F. Semiring-based constraint solving and optimization. Journal of the ACM 44 2 (1997) 201-236
4. D. Dubois, H. Fargier, H. Prade, The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction, in: Proceedings of the IEEE Conference on Fuzzy Systems, 1993
5. H. Fargier, J. Lang, Uncertainty in constraint satisfaction problems: a probabilistic approach, in: Proceedings of the ECSQARU, 1993
6. Freuder E.C., and Wallace J.W. Partial constraint satisfaction. Artificial Intelligence 58 (1992) 21-70
7. Ghose A., and Harvey P. Partial constraint satisfaction via semiring CSPs augmented with metrics. Proceedings of the Australian Joint Conference on AI. Lecture Notes in Computer Science vol. 2557 (2002), Springer
8. Wilson M., and Borning A. Hierarchical constraint logic programming, Journal of Logic Programming 16 (1993) 277-318