Principles and Practice of Constraint Programming - CP 2003

1. Front Matter

   PDF

2. Invited Papers

   1. Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search

      • Henry Kautz, Bart Selman

      Pages 1-18

   2. Automated Mechanism Design: A New Application Area for Search Algorithms

      • Tuomas Sandholm

      Pages 19-36

   3. Languages versus Packages for Constraint Problem Solving

      • Mark Wallace

      Pages 37-52

   4. Constraint Patterns

      • Toby Walsh

      Pages 53-64

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

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.

• CSP heuristics
• case-based reasoning
• combinatorial optimization
• complexity
• constraint logic programming
• constraint programming
• constraint satisfaction
• constraint solving
• decision making
• distributed cons
• logic
• metaheuristic
• optimization
• real-time
• search strategy
• data structures

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

  Francesca Rossi

Policies and ethics