Skip to main content
SpringerLink
Log in
Download book PDF
Book cover
  • Conference proceedings
  • © 1994

Constraint Programming

Editors:

  1. Brian Mayoh

    1. Computer Science Department, Aarhus University, Aarhus C, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Enn Tyugu

    1. Computer Science Department, Royal Institute of Technology, Stockholm, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jaan Penjam

    1. Institute of Cybernetics, Estonian Academy of Sciences, Tallinn, Estonia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Table of contents (16 papers)

  1. Front Matter

    Pages i-vii
    PDF

  2. Introduction

    1. Constraint Satisfaction and Constraint Programming: A Brief Lead-In

      • Brian Mayoh, Enn Tyugu, Tarmo Uustalu
      Pages 1-16
      PDF
    2. PDF

  3. Constraint Solving Techniques

    1. PDF

    2. Constraint Hierarchies

      • Alan Borning, Bjorn Freeman-Benson, Molly Wilson
      Pages 75-115
      PDF

    3. Higher-Order Functional Constraint Networks

      • Enn Tyugu, Tarmo Uustalu
      Pages 116-139
      PDF

    4. Interval Computations as Propagation of Constraints

      • Yuri Matiyasevich
      Pages 140-152
      PDF

    5. Applying Constraints for Scheduling

      • Mark Wallace
      Pages 153-171
      PDF

  4. Foundations of Constraint Programming Approaches

    1. Concurrent Semantics for Concurrent Constraint Programs

      • Francesca Rossi, Ugo Montanari
      Pages 173-227
      PDF

    2. Abstract Interpretation for (Constraint) Logic Programming

      • M. Bruynooghe, D. Boulanger
      Pages 228-260
      PDF
    3. PDF
    4. PDF

  5. Constraint Programming Systems

    1. Kaleidoscope: A Constraint Imperative Programming Language

      • Gus Lopez, Bjorn Freeman-Benson, Alan Borning
      Pages 313-329
      PDF

    2. Constraints in NUT

      • Jaan Penjam, Enn Tyugu
      Pages 330-349
      PDF

    3. Interval Constraint Programming in C++

      • Eero Hyvőnen, Stefano De Pascale, Aarno Lehtola
      Pages 350-366
      PDF

    4. Programming in Timed Concurrent Constraint Languages

      • Vijay Saraswat, Radha Jagadeesan, Vinheet Gupta
      Pages 367-413
      PDF

    5. An Introduction to AKL A Multi-Paradigm Programming Language

      • Sverker Janson, Seif Haridi
      Pages 414-449
      PDF

  6. Back Matter

    Pages 451-456
    PDF
Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Computer Science Department, Aarhus University, Aarhus C, Denmark

    Brian Mayoh

  • Computer Science Department, Royal Institute of Technology, Stockholm, Sweden

    Enn Tyugu

  • Institute of Cybernetics, Estonian Academy of Sciences, Tallinn, Estonia

    Jaan Penjam

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Download book PDF

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation