Table of contents

  1. Front Matter
  2. Alan Borning, Bjorn Freeman-Benson, Molly Wilson
    Pages 23-62
  3. Eugene C. Freuder, Richard J. Wallace
    Pages 63-110
  4. Stefano Bistarelli, Hélène Faxgier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie
    Pages 111-150
  5. Francisco Menezes, Pedro Barahona
    Pages 151-170
  6. Richard J. Wallace, Eugene C. Freuder
    Pages 207-216
  7. Nick D. Dendris, Lefteris M. Kirousis, Yannis C. Stamatiou, Dimitris M. Thilikos
    Pages 229-236
  8. Abdul Sattar, Aditya K. Ghose, Randy Goebel
    Pages 253-264
  9. Rolf Weißschnur, Joachim Hertzberg, Hans Werner Guesgen
    Pages 281-292
  10. Fabrice Bouquet, Philippe Jégou
    Pages 293-308
  11. Back Matter

Other volumes

  1. First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings
  2. Over-Constrained Systems

About these proceedings


This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems.
Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems.


Constraint Erfüllung Constraint Logic Programming Constraint Processing Constraint Satisfaction Constraint-Based Systems Constraint-Programmierung Constraintbasierte Systeme Logische Constraint-Programmierung Over-Constrained Systems constraint programming constraint satisfaction problem learning logic programming semantics

Bibliographic information

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