Principles and Practice of Constraint Programming - CP 2002

1. Technical Papers

   1. Resolution Complexity of Random Constraints

      • David G. Mitchell

      Pages 295-310

   2. Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics

      • Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi

      Pages 310-326

   3. Determining the Number of Solutions to Binary CSP Instances

      • Ola Angelsmark, Peter Jonsson, Svante Linusson, Johan Thapper

      Pages 327-340

   4. Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions

      • Spiros Skiadopoulos, Manolis Koubarakis

      Pages 341-356

   5. Open Constraint Satisfaction

      • Boi Faltings, Santiago Macho-Gonzalez

      Pages 356-371

   6. Beyond NP: Arc-Consistency for Quantified Constraints

      • Lucas Bordeaux, Eric Monfroy

      Pages 371-386

   7. Secure Distributed Constraint Satisfaction: Reaching Agreement without Revealing Private Information

      • Makoto Yokoo, Koutarou Suzuki, Katsutoshi Hirayama

      Pages 387-401

   8. A Dual Graph Translation of a Problem in ‘Life’

      • Barbara M. Smith

      Pages 402-414

   9. Groups and Constraints: Symmetry Breaking during Search

      • Ian P. Gent, Warwick Harvey, Tom Kelsey

      Pages 415-430

   10. Partial Symmetry Breaking

       • Iain McDonald, Barbara Smith

       Pages 431-445

   11. Symmetry Breaking Revisited

       • Jean-François Puget

       Pages 446-461

   12. Breaking Row and Column Symmetries in Matrix Models

       • Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson et al.

       Pages 462-477

   13. Solving the Kirkman’s Schoolgirl Problem in a Few Seconds

       • Nicolas Barnier, Pascal Brisset

       Pages 477-491

   14. Inferring Constraint Types in Constraint Programming

       • David Lesaint

       Pages 492-507

   15. Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State

       • Brian C. Williams, Michel D. Ingham

       Pages 508-524

   16. The Adaptive Constraint Engine

       • Susan L. Epstein, Eugene C. Freuder, Richard Wallace, Anton Morozov, Bruce Samuels

       Pages 525-540

   17. Indexical-Based Solver Learning

       • Thi Bich Hanh Dao, Arnaud Lallouet, Andrei Legtchenko, Lionel Martin

       Pages 541-556

   18. Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions

       • Kevin Leyton-Brown, Eugene Nudelman, Yoav Shoham

       Pages 556-572

   19. Restart Policies with Dependence among Runs: A Dynamic Programming Approach

       • Yongshao Ruan, Eric Horvitz, Henry Kautz

       Pages 573-586

2. Innovative Application

   1. Visopt ShopFloor: On the Edge of Planning and Scheduling

      • Roman Barták

      Pages 587-602

This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.
The 38 revised full papers and 6 innovative application papers as well as the 14 short papers presented toghether with 25 abstracts from contributions to the doctoral program were carefully reviewed and selected from 146 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to application in various fields.

• Constraint Logic Programming
• Constraint Programming
• Constraint Propagation
• Constraint Satisfaction
• Decision Making
• Distributed Making
• Linear Constraints
• Search Algorithms
• Variable
• algorithm
• complexity
• heuristics
• optimization
• programming
• proving

• Brown University, Providence, USA

  Pascal Hentenryck

Policies and ethics