Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers /
"This book contains thoroughly revised versions of the papers presented at the 1994 Châtillon Spring School held in May 1994. This spring school was the 22nd event in a series of advanced seminars presenting important new areas of research to the theoretical computer science community. The inte...
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
[1995]
|
| Series: | Lecture notes in computer science ;
910. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Interval constraint logic programming / Frédéric Benhamou
- Solving pseudo-boolean constraints / Alexander Bockmayr
- Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods / Philippe Codognet and Giuseppe Nardiello
- Constraints in term algebras / Hubert Comon
- Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages / François Fages
- Constraint handling rules / Thom Frühwirth
- Linear constraint solving in CLP-languages / Jean-Louis J. Imbert
- On the use of constraints in automated deduction / Hélène Kirchner
- Abstract interpretation and finite domain symbolic constraints / Baudouin Le Charlier
- Concurrency and concurrent constraint programming / Ugo Montanari and Francesca Rossi
- Toupie : a constraint language for model checking / Antoine Rauzy
- Imagining CLP ([delta, is identical with][alpha][beta]) / Olivier Ridoux
- An architecture for cooperating constraint solvers on reals / Michel Rueher
- The definition of Kernel Oz / Gert Smolka
- Design, implementation, and evaluation of the constraint language cc(FD) / Pascal Van Hentenryck, Vijay Sawaswat and Yves Deville.