LNCS 910: Constraint Programming

Andreas Podelski (Ed.): Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers. Lecture Notes in Computer Science 910 Springer 1995, ISBN 3-540-59155-9

Frédéric Benhamou: Interval Constraint Logic Programming. 1-21
Alexander Bockmayr: Solving Pseudo-Boolean Constraints. 22-38
Philippe Codognet, Giuseppe Nardiello: Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods. 39-61
Hubert Comon: Constraints in Term Algebras: An Overview of Constraint Solving Techniques. 62-67
François Fages: Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages. 68-89
Thom W. Frühwirth: Constraint Handling Rules. 90-107
Jean-Louis Imbert: Linear Constraint Solving in CLP-Languages. 108-127
Hélène Kirchner: On the Use of Constraints in Automated Deduction. 128-146
Baudouin Le Charlier: Abstract Interpretation and Finite Domain Symbolic Constraints. 147-170
Ugo Montanari, Francesca Rossi: Concurrency and Concurrent Constraint Programming. 171-192
Antoine Rauzy: Toupie: a Constraint Language for Model Checking. 193-208
Olivier Ridoux: Imagining CLP(A, equiv alpha beta). 209-230
Michel Rueher: An Architecture for Cooperating Constraint Solvers on Reals. 231-250
Gert Smolka: The Definition of Kernel Oz. 251-292
Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville: Design, Implementation, and Evaluation of the Constraint Language cc(FD). 293-316