Table of contents

  1. Front Matter
  2. Frédéric Benhamou
    Pages 1-21
  3. Alexander Bockmayr
    Pages 22-38
  4. Thom Frühwirth
    Pages 90-107
  5. Jean -Louis J. Imbert
    Pages 108-127
  6. Hélène Kirchner
    Pages 128-146
  7. Ugo Montanari, Francesca Rossi
    Pages 171-192
  8. Olivier Ridoux
    Pages 209-230
  9. Gert Smolka
    Pages 251-292
  10. Pascal Van Hentenryck, Vijay Saraswat, Yves Deville
    Pages 293-316
  11. Back Matter

About these proceedings


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 interdisciplinary area of constraint (logic) programming and constraint-based systems has recently developed a discernible identity, which is promising both in terms of simple and general foundations and in terms of significant practical applications. The 15 papers presented in this volume make the new area accessible to all interested computer scientists and report the state of the art in this exciting new field, particularly in the subfield of constraint logic programming.


Constrain Problemsolving Constraint Languages Constraint Logic Programming Constraint Programming Constraints Problemlösung unter Zwangsbedingungen Zwangsbedingungen automated deduction logic model checking optimization programming

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment