Constraint Programming

  • Brian Mayoh
  • Enn Tyugu
  • Jaan Penjam
Conference proceedings

Part of the NATO ASI Series book series (NATO ASI F, volume 131)

Table of contents

  1. Front Matter
    Pages i-vii
  2. Introduction

  3. Constraint Solving Techniques

    1. Alan Borning, Bjorn Freeman-Benson, Molly Wilson
      Pages 75-115
    2. Enn Tyugu, Tarmo Uustalu
      Pages 116-139
    3. Yuri Matiyasevich
      Pages 140-152
    4. Mark Wallace
      Pages 153-171
  4. Foundations of Constraint Programming Approaches

  5. Constraint Programming Systems

    1. Gus Lopez, Bjorn Freeman-Benson, Alan Borning
      Pages 313-329
    2. Jaan Penjam, Enn Tyugu
      Pages 330-349
    3. Eero Hyvőnen, Stefano De Pascale, Aarno Lehtola
      Pages 350-366
    4. Vijay Saraswat, Radha Jagadeesan, Vinheet Gupta
      Pages 367-413
    5. Sverker Janson, Seif Haridi
      Pages 414-449
  6. Back Matter
    Pages 451-456

About these proceedings


Constraint programming is like an octopus spreading its tentacles into databases, operations research, artificial intelligence, and many other areas. The concept of constraint programming was introduced in artificial intelligence and graphics in the 1960s and 1970s. Now the related techniques are used and studied in many fields of computing. Different aspects of constraint processing are investigated in theoretical computer science, logic programming, knowledge representation, operations research, and related application domains. Constraint programming has been included in the lists of related topics of many conferences. Nevertheless, only in 1993 were the first forums held, devoted as a whole to this field of knowledge. These were the First Workshop on Principles and Practice of Constraint Programming (PPCP'93) which was held in Newport, Rhode Island, USA, April 28-30, the International Workshop on Constraint Processing (at CSAM'93) held in St. Petersburg, Russia, July 20-21, and the NATO Advanced Study Institute (NATO AS!) on Constraint Programming held in Parnu, Estonia, August 13-24. NATO A Sis are aimed to be schools bringing together leading researchers and practitioners from industry and academia in some area of knowledge to provide a concise picture of the work done and results obtained by different groups. This is intended for dissemination of advanced knowledge not yet taught regularly in of new topics university. However, ASis must also encourage the introduction into university curricula as well as foster international scientific contacts.


Artificial Intelligence Constraint Programming Constraint-Programmierung Künstliche Intelligenz Logic Programming Logische-Programmierung Object-oriented programming Objekt-orientierte Programmierung artificial intelligence constraint intelligence knowledge knowledge representation logic logic programming object-oriented programming (OOP) operations research Processing programming

Editors and affiliations

  • Brian Mayoh
    • 1
  • Enn Tyugu
    • 2
  • Jaan Penjam
    • 3
  1. 1.Computer Science DepartmentAarhus UniversityAarhus CDenmark
  2. 2.Computer Science DepartmentRoyal Institute of TechnologyStockholmSweden
  3. 3.Institute of CyberneticsEstonian Academy of SciencesTallinnEstonia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-85985-4
  • Online ISBN 978-3-642-85983-0
  • Series Print ISSN 0258-1248
  • Buy this book on publisher's site