Skip to main content
SpringerLink
Log in
Book cover

Constraint Programming

  • Conference proceedings
  • © 1994

Overview

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)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  2. Introduction

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

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

    2. Constraint Programming and Artificial Intelligence

      • Brian Mayoh
      Pages 17-50

  3. Constraint Solving Techniques

    1. Exploiting Structure in Constraint Satisfaction Problems

      • Eugene C. Freuder
      Pages 51-74

    2. Constraint Hierarchies

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

    3. Higher-Order Functional Constraint Networks

      • Enn Tyugu, Tarmo Uustalu
      Pages 116-139

    4. Interval Computations as Propagation of Constraints

      • Yuri Matiyasevich
      Pages 140-152

    5. Applying Constraints for Scheduling

      • Mark Wallace
      Pages 153-171

  4. Foundations of Constraint Programming Approaches

    1. Concurrent Semantics for Concurrent Constraint Programs

      • Francesca Rossi, Ugo Montanari
      Pages 173-227

    2. Abstract Interpretation for (Constraint) Logic Programming

      • M. Bruynooghe, D. Boulanger
      Pages 228-260

    3. Denotational Semantics of Constraint Logic Programming — A Nonstandard Approach

      • Erik Palmgren
      Pages 261-288

    4. Resolution Strategies for the Intuitionistic Logic

      • Grigori Mints
      Pages 289-311

  5. Constraint Programming Systems

    1. Kaleidoscope: A Constraint Imperative Programming Language

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

    2. Constraints in NUT

      • Jaan Penjam, Enn Tyugu
      Pages 330-349

    3. Interval Constraint Programming in C++

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

    4. Programming in Timed Concurrent Constraint Languages

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

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

      • Sverker Janson, Seif Haridi
      Pages 414-449

  6. Back Matter

    Pages 451-456
    Download chapter PDF
Back to top

Keywords

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.

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation