Table of contents

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 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
  • About this book