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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-59155-9
  • Online ISBN 978-3-540-49200-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment