Skip to main content
SpringerLink
Log in

Principles and Practice of Constraint Programming - CP98

4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Michael Maher

    1. School of Computing and Information Technology, Griffith University, Nathan, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-Francois Puget

    1. ILOG S.A., Gentilly Cedex, France

    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 1520)

Included in the following conference series:

Conference proceedings info: CP 1998.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (47 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Invited Papers

    1. Open Constraint Programming

      • Joxan Jaffar, Roland H. C. Yap
      Pages 1-1

    2. Constructing Constraints

      • Peter Jeavons
      Pages 2-16

    3. The Dynamics of Dynamic Variable Ordering Heuristics

      • Patrick Prosser
      Pages 17-23

  3. Submitted Papers

    1. On Completion of Constraint Handling Rules

      • Slim Abdennadher, Thom Frühwirth
      Pages 25-39

    2. Error-correcting Source Code

      • Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho
      Pages 40-54

    3. Optimized Q-pivot for Exact Linear Solvers

      • David-Olivier Azulay, Jean-FranÇois Pique
      Pages 55-71

    4. Constraint Techniques for Solving the Protein Structure Prediction Problem

      • Rolf Backofen
      Pages 72-86

    5. Global Constraints for Partial CSPs: A Case-Study of Resource and Due Date Constraints

      • Philippe Baptiste, Claude Le Pape, Laurent Peridy
      Pages 87-101

    6. Using Graph Decomposition for Solving Continuous CSPs

      • Christian Bliek, Bertrand Neveu, Gilles Trombettoni
      Pages 102-116

    7. Anytime Lower Bounds for Constraint Violation Minimization Problems

      • Bertrand Cabon, Simon de Givry, Gérard Verfaillie
      Pages 117-131

    8. Introducing External Functions in Constraint Query Languages

      • Barbara Catania, Alberto Belussi, Elisa Bertino
      Pages 132-146

    9. A Note on Partial Consistencies over Continuous Domains

      • Héléne Collavizza, FranÇois Delobel, Michel Rueher
      Pages 147-161

    10. Consistency Techniques in Ordinary Differential Equations

      • Yves Deville, Micha Janssen, Pascal Van Hentenryck
      Pages 162-176

    11. Early Projection in CLP(R)

      • Andreas Fordan, Roland H. C. Yap
      Pages 177-191

    12. Suggestion Strategies for Constraint-Based Matchmaker Agents

      • Eugene C. Freuder, Richard J. Wallace
      Pages 192-204

    13. Compiling Semiring-based Constraints with clp(FD,S)

      • Yan Georget, Philippe Codognet
      Pages 205-219

    14. Combining Topological and Qualitative Size Constraints for Spatial Reasoning

      • Alfonso Gerevini, Jochen Renz
      Pages 220-234

    15. Constraint Representation for Propagation

      • Warwick Harvey, Peter J. Stuckey
      Pages 235-249

    16. A Unified Framework for Interval Constraints and Interval Arithmetic

      • T. J. Hickey, M. H. van Emden, H. Wu
      Pages 250-264
Back to top

Other volumes

  1. Principles and Practice of Constraint Programming — CP98

Keywords

About this book

Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This volume contains papers dealing with all aspects of c- puting with constraints. In particular, there are several papers on applications of constraints, re?ecting the practical usefulness of constraint programming. The papers were presented at the 1998 International Conference on Principles and Practice of Constraint Programming (CP’98), held in Pisa, Italy, 26{30 - tober, 1998. It is the fourth in this series of conferences, following conferences in Cassis (France), Cambridge (USA), and Schloss Hagenberg (Austria). We received 115 high quality submissions. In addition, 7 abstracts submissions were not followed by a full paper, hence were not counted as submissions. The program committee selected 29 high quality papers after thorough refereeing by at least 3 experts and further discussion by committee members. We thank the referees and the program committee for the time and e ort spent in reviewing the papers. The program committee invited three speakers: { Joxan Ja ar { Peter Jeavons { Patrick Prosser Their papers are in this volume.

Editors and Affiliations

  • School of Computing and Information Technology, Griffith University, Nathan, Australia

    Michael Maher

  • ILOG S.A., Gentilly Cedex, France

    Jean-Francois Puget

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation