Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2000

New Trends in Constraints

Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

Editors:

  1. Krzysztof R. Apt

    1. CWI, GB Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Eric Monfroy

    1. CWI, GB Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Antonis C. Kakas

    1. Department of Computer Science, University of Cyprus, Nicosia, Cyprus

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Francesca Rossi

    1. Department of Pure and Applied Mathematics, University of Padua, Padua, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1865)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Sections

Buy it now

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

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

Table of contents (16 papers)

  1. Front Matter

    Pages I-X
    PDF

  2. Invited Contributions and Surveys

    1. Interval Constraints: Results and Perspectives

      • Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard
      Pages 1-16

    2. A Constraint-Based Language for Virtual Agents

      • Philippe Codognet
      Pages 17-39

    4. OPL Script: Composing and Controlling Models

      • Pascal Van Hentenryck, L. Michel
      Pages 75-90

  3. Constraint Propagation and Manipulation

    1. Some Remarks on Boolean Constraint Propagation

      • Krzysztof R. Apt
      Pages 91-107

    2. Abstracting Soft Constraints

      • S. Bistarelli, P. Codognet, Y. Georget, F. Rossi
      Pages 108-133

    3. Decomposable Constraints

      • Ian Gent, Kostas Stergiou, Toby Walsh
      Pages 134-149

    4. Generating Propagation Rules for Finite Domains: A Mixed Approach

      • Christophe Ringeissen, Eric Monfroy
      Pages 150-172

    5. Ways of Maintaining Arc Consistency in Search Using the Cartesian Representation

      • Marius-Călin Silaghi, Djamila Sam-Haroud, Boi Faltings
      Pages 173-187

  4. Constraint Programming

    2. Quantitative Observables and Averages in Probabilistic Constraint Programming

      • Alessandra Di Pierro, Herbert Wiklicky
      Pages 212-236

    4. A Finite Domain CLP Solver on Top of Mercury

      • Henk Vandecasteele, Bart Demoen, Gerda Janssens
      Pages 256-273

  5. Rule-Based Constraint Programming

    1. Rule Based Programming with Constraints and Strategies

      • Hubert Dubois, Héléne Kirchner
      Pages 274-297

    2. Proving Termination of Constraint Solver Programs

      • Thom Frühwirth
      Pages 298-317

  6. Back Matter

    Pages 339-339
    PDF
Back to top

About this book

This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming.
Back to top

Keywords

Back to top

Editors and Affiliations

  • CWI, GB Amsterdam, The Netherlands

    Krzysztof R. Apt, Eric Monfroy

  • Department of Computer Science, University of Cyprus, Nicosia, Cyprus

    Antonis C. Kakas

  • Department of Pure and Applied Mathematics, University of Padua, Padua, Italy

    Francesca Rossi

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation