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 BibTeX

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