Skip to main content
SpringerLink
Log in
Book cover

Principles and Practice of Constraint Programming - CP 2003

9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Francesca Rossi

    1. Dipartimento di Matematica Pura ed Applicata, Università di Padova, Padova, 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 2833)

Included in the following conference series:

Conference proceedings info: CP 2003.

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 (126 papers)

  1. Front Matter

    Download chapter PDF

  3. Best Paper

    1. Control Abstractions for Local Search

      • Pascal Van Hentenryck, Laurent Michel
      Pages 65-80

  4. Full Papers

    1. Improved Algorithms for Counting Solutions in Constraint Satisfaction Problems

      • Ola Angelsmark, Peter Jonsson
      Pages 81-95

    2. Boosting Chaff’s Performance by Incorporating CSP Heuristics

      • Carlos Ansótegui, Jose Larrubia, Felip Manyà
      Pages 96-107

    3. Efficient CNF Encoding of Boolean Cardinality Constraints

      • Olivier Bailleux, Yacine Boufkhad
      Pages 108-122

    4. A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows

      • Russell Bent, Pascal Van Hentenryck
      Pages 123-137

    5. Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search

      • Stefano Bistarelli, Philippe Codognet, Kin-Chuen Hui, Jimmy Ho Man Lee
      Pages 138-152

    6. hibiscus: A Constraint Programming Application to Staff Scheduling in Health Care

      • Stéphane Bourdais, Philippe Galinier, Gilles Pesant
      Pages 153-167

    7. Constraint-Based Optimization with the Minimax Decision Criterion

      • Craig Boutilier, Relu Patrascu, Pascal Poupart, Dale Schuurmans
      Pages 168-182

    8. An Algebraic Approach to Multi-sorted Constraints

      • Andrei A. Bulatov, Peter Jeavons
      Pages 183-198

    9. Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms

      • Hubie Chen
      Pages 199-213

    10. Box Constraint Collections for Adhoc Constraints

      • Chi Kan Cheng, Jimmy Ho Man Lee, Peter J. Stuckey
      Pages 214-228

    11. Propagation Redundancy in Redundant Modelling

      • Chiu Wo Choi, Jimmy Ho Man Lee, Peter J. Stuckey
      Pages 229-243

    12. Soft Constraints: Complexity and Multimorphisms

      • David A. Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
      Pages 244-258

    13. Constraint Satisfaction Differential Problems

      • Jorge Cruz, Pedro Barahona
      Pages 259-273

    14. A Wealth of SAT Distributions with Planted Assignments

      • Tassos Dimitriou
      Pages 274-287
Back to top

Other volumes

  1. Principles and Practice of Constraint Programming – CP 2003

Keywords

About this book

This volume contains the proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003), held in Kinsale, Ireland, from September 29 to October 3, 2003. Detailed information about the CP 2003 conference can be found at the URL http://www.cs.ucc.ie/cp2003/ The CP conferences are held annually and provide an international forum for the latest results on all aspects of constraint programming. Previous CP conferences were held in Cassis (France) in 1995, in Cambridge (USA) in 1996, in Schloss Hagenberg (Austria) in 1997, in Pisa (Italy) in 1998, in Alexandria (USA) in 1999, in Singapore in 2000, in Paphos (Cyprus) in 2001, and in Ithaca (USA) in 2002. Like previous CP conferences, CP 2003 again showed the interdisciplinary nature of computing with constraints, and also its usefulness in many problem domains and applications. Constraint programming, with its solvers, languages, theoretical results, and applications, has become a widely recognized paradigm to model and solve successfully many real-life problems, and to reason about problems in many research areas.

Editors and Affiliations

  • Dipartimento di Matematica Pura ed Applicata, Università di Padova, Padova, Italy

    Francesca Rossi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation