Principles and Practice of Constraint Programming - CP 2007

1. Front Matter

   PDF

2. Invited Lectures

   1. Caching in Backtracking Search

      • Fahiem Bacchus

      Pages 1-1

   2. Of Mousetraps and Men: A Cautionary Tale

      • Matt Ginsberg

      Pages 2-2

3. Application Papers

   1. Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite

      • Grégory Beaumet, Gérard Verfaillie, Marie-Claire Charmeau

      Pages 3-17

   2. Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques

      • Raphaël Chenouard, Patrick Sébastian, Laurent Granvilliers

      Pages 18-32

   3. Solving the Salinity Control Problem in a Potable Water System

      • Chiu Wo Choi, Jimmy H. M. Lee

      Pages 33-48

   4. Exploring Different Constraint-Based Modelings for Program Verification

      • Hélène Collavizza, Michel Rueher

      Pages 49-63

   5. An Application of Constraint Programming to Generating Detailed Operations Schedules for Steel Manufacturing

      • Andrew Davenport, Jayant Kalagnanam, Chandra Reddy, Stuart Siegel, John Hou

      Pages 64-76

   6. An Efficient Model and Strategy for the Steel Mill Slab Design Problem

      • Antoine Gargani, Philippe Refalo

      Pages 77-89

   7. Constraint-Based Temporal Reasoning for E-Learning with LODE

      • Rosella Gennari, Ornella Mich

      Pages 90-104

   8. Scheduling for Cellular Manufacturing

      • Roman van der Krogt, James Little, Kenneth Pulliam, Sue Hanhilammi, Yue Jin

      Pages 105-117

4. Full Research Papers

   1. A Constraint Store Based on Multivalued Decision Diagrams

      • H. R. Andersen, T. Hadzic, J. N. Hooker, P. Tiedemann

      Pages 118-132

   2. GAC Via Unit Propagation

      • Fahiem Bacchus

      Pages 133-147

   3. Solution Directed Backjumping for QCSP

      • Fahiem Bacchus, Kostas Stergiou

      Pages 148-163

   4. Reformulating CSPs for Scalability with Application to Geospatial Reasoning

      • Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock

      Pages 164-179

   5. A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects

      • N. Beldiceanu, M. Carlsson, E. Poder, R. Sadek, C. Truchet

      Pages 180-194

   6. Local Symmetry Breaking During Search in CSPs

      • Belaïd Benhamou, Mohamed Réda Saïdi

      Pages 195-209

   7. Encodings of the Sequence Constraint

      • Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter Stuckey, Toby Walsh

      Pages 210-224

   8. On Inconsistent Clause-Subsets for Max-SAT Solving

      • Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu-Min Li

      Pages 225-240

   9. An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

      • Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé

      Pages 241-255

The 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) was held in Providence, RI, USA, September 23–27, 2007, in conjunction with the International Conference on Automated Pl- ning and Scheduling (ICAPS). Held annually, the CP conference series is the premier international conference on constraint programming. The conference focuses on all aspects of computing with constraints. The CP conference - ries is organized by the Association for Constraint Programming (ACP). - formation about the conferences in the series can be found on the Web at http://www. cs. ualberta. ca/~ai/cp/. Information about ACP can be found athttp://www. a4cp. org/. CP 2007 launched two calls for contributions: a call for research papers, describing novel contributions in the ?eld, and a call for application papers, describing applications of constraint technology in the industrial world. The research track received 143 submissions and the application track received 22 submissions. Research papers were reviewed under a double-blind scheme. They received three reviews that the authors had the opportunity to see and to react tobeforethepapersandtheirreviewswerediscussedextensivelybythemembers of the ProgramCommittee. Application papers werereviewedby a separate- plication Committee. The Program Committee and the Application Committee then selected 43 researchpapers and 9 application papers to be published in full inthe proceedings,andanadditional14researchpapersto be publishedas short papers. The full papers were presented at the conference in two parallel tracks and the short papers were presented in a poster session.

• E-Learning
• Planning
• Variable
• algorithms
• assistive technology
• autonom
• complexity
• constraint logic programming
• constraint networks
• constraint programming
• constraint propagation
• constraint satisfaction
• constraint solving
• heuristics
• visualization

Policies and ethics