Constraint Programming

Keyphrases

Publications

volume 910, 1995

Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers Constraint Programming 910 (1995)

1994

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