Principles and Practice of Constraint Programming - CP 2004

1. Front Matter

   PDF

2. Invited Papers

   1. Constraints in Program Analysis and Verification

      • Andreas Podelski

      Pages 1-4

   2. Constraint Programming Next Challenge: Simplicity of Use

      • Jean-Francois Puget

      Pages 5-8

   3. Algorithmic Adventures at the Interface of Computer Science, Statistical Physics, and Combinatorics

      • Bart Selman

      Pages 9-12

   4. Challenges for Constraint Programming in Networking

      • Helmut Simonis

      Pages 13-16

3. Distinguished Papers

   1. Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness

      • Yong Gao, Joseph Culberson

      Pages 17-31

   2. Statistical Regimes Across Constrainedness Regions

      • Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessiere

      Pages 32-46

   3. Constraint-Based Combinators for Local Search

      • Pascal Van Hentenryck, Laurent Michel, Liyuan Liu

      Pages 47-61

   4. Unary Resource Constraint with Optional Activities

      • Petr Vilím, Roman Barták, Ondřej Čepek

      Pages 62-76

4. Full Papers

   1. Constraint Propagation as a Proof System

      • Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi

      Pages 77-91

   2. Backtrack-Free Search for Real-Time Constraint Satisfaction

      • J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, Georg Ringwelski

      Pages 92-106

   3. Deriving Filtering Algorithms from Constraint Checkers

      • Nicolas Beldiceanu, Mats Carlsson, Thierry Petit

      Pages 107-122

   4. Leveraging the Learning Power of Examples in Automated Constraint Acquisition

      • Christian Bessiere, Remi Coletta, Eugene C. Freuder, Barry O’Sullivan

      Pages 123-137

   5. Disjoint, Partition and Intersection Constraints for Set and Multiset Variables

      • Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh

      Pages 138-152

   6. Decomposition and Learning for a Hard Real Time Task Allocation Problem

      • Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien, Yvon Trinquet

      Pages 153-167

   7. Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms

      • Hubie Chen

      Pages 168-181

   8. (Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability

      • Hubie Chen, Víctor Dalmau

      Pages 182-196

   9. Heuristic Selection for Stochastic Search Optimization: Modeling Solution Quality by Extreme Value Theory

      • Vincent A. Cicirello, Stephen F. Smith

      Pages 197-211

   10. A Complete Characterization of Complexity for Boolean Constraint Optimization Problems

       • David Cohen, Martin Cooper, Peter Jeavons

       Pages 212-226

   11. Financial Portfolio Optimisation

       • Pierre Flener, Justin Pearson, Luis G. Reyna

       Pages 227-241

The 10th International Conference on the Principles and Practice of Constraint Programming (CP 2003) was held in Toronto, Canada, during September 27 – October 1, 2004. Information about the conference can be found on the Web at http://ai.uwaterloo.ca/~cp2004/ Constraint programming (CP) is about problem modelling, problem solving, programming, optimization, software engineering, databases, visualization, user interfaces, and anything to do with satisfying complex constraints. It reaches into mathematics, operations research, arti?cial intelligence, algorithms, c- plexity, modelling and programming languages, and many aspects of computer science. Moreover, CP is never far from applications, and its successful use in industry and government goes hand in hand with the success of the CP research community. Constraintprogrammingcontinuesto beanexciting,?ourishingandgrowing research?eld,astheannualCPconferenceproceedingsamplywitness.Thisyear, from 158 submissions, we chose 46 to be published in full in the proceedings. Instead of selecting one overall best paper, we picked out four “distinguished” papers – though we were tempted to select at least 12 such papers. In addition we included 16 short papersin the proceedings– these were presentedas posters at CP 2004. This volume includes summaries of the four invited talks of CP 2004. Two speakers from industry were invited. However these were no ordinary industrial representatives,buttwoofthe leadingresearchersinthe CPcommunity:Helmut Simonis of Parc Technologies, until its recent takeover by Cisco Systems; and Jean Francoi ¸ s Puget, Director of Optimization Technology at ILOG. The other two invited speakers are also big movers and shakers in the researchcommunity.

• Variable
• algorithms
• complexity
• constraint checkers
• constraint logic programming
• constraint programming
• constraint satisfaction
• constraint solving
• constraint-based compinatorics
• constraint-based optimization
• distributed constraints
• heuristics
• modeling
• real-time
• robot

• Clayton School of IT, Monash University, Australia

  Mark Wallace

Policies and ethics