Constraint propagation for soft constraints: Generalization and termination conditions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1894, Issue , 2000, Pages 83-97

  Bistarelli, S ^a   Gennari, R ^b   Rossi, F ^c  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

^c UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

ALGEBRAIC STRUCTURES; CONSTRAINT PROBLEMS; CONSTRAINT PROPAGATION; CONSTRAINT PROPAGATION ALGORITHMS; CONVENIENT PROPERTIES; LOCAL CONSISTENCY; OVER-CONSTRAINED; TERMINATION CONDITION;

CONSTRAINT THEORY;

EID: 84945896852     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45349-0_8     Document Type: Conference Paper

References (12)

1. K. R. Apt, The Essence of Constraint Propagation, Theoretical Computer Science, 221(1-2), pp. 179-210, 1999.
2. K. R. Apt, The Rough Guide to Constraint Propagation, Proc. of the 5th International Conference on Principles and Practice of Constraint Programming (CP’99), (invited lecture), Springer-Verlag Lecture Notes in Computer Science 1713, pp. 1-23.
3. C. Bessière. Arc-consistency and Arc-consistency again. Artificial Intelligence, 65(1), 1994.
4. S. Bistarelli, P. Codognet, Y. Georget and F. Rossi. Labeling and Partial Local Consistency for Soft Constraint Programming Proc. of the 2nd International Workshop on Practical Aspects of Declarative Languages (PADL’00), Springer-Verlag Lecture Notes in Computer Science 1753, 2000.
5. S. Bistarelli, U. Montanari and F. Rossi. Constraint Solving over Semirings. Proceedings of IJCAI’95, Morgan Kaufman, 1995.
6. S. Bistarelli, U. Montanari and F. Rossi. Semiring-based Constraint Solving and Optimization. Journal of ACM, vol. 44, no. 2, March 1997.
7. D. Dubois, H. Fargier and H. Prade. The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction. Proc. IEEE International Conference on Fuzzy Systems, IEEE, pp. 1131-1136, 1993.
8. H. Fargier and J. Lang Uncertainty in Constraint Satisfaction Problems: a Probabilistic Approach Proc. European Conference on Symbolic and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU), Springer-Verlag, LNCS 747, pp. 97-104, 1993.
9. E. C. Freuder and R. J. Wallace. Partial Constraint Satisfaction. AI Journal, 1992, 58.
10. P. Van Hentenryck, Y. Deville and C-M. Teng. A generic arc-consistency algorithm and its specializations. Artificial Intelligence 57 (1992), pp 291-321.
11. K. Marriott and P. Stuckey. Programming with Constraints. MIT Press, 1998.
12. T. Schiex and H. Fargier and G. Verfaille. Valued Constraint Satisfaction Problems: Hard and Easy Problems. Proc. IJCAI95, Morgan Kaufmann, pp. 631-637, 1995.