Principles and Practice of Constraint Programming

Invited Lecture.- Back to the Complexity of Universal Programs.- Applications Track Long Papers.- A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine.- Planning and Scheduling the Operation of a Very Large Oil Pipeline Network.- Search Strategies for Rectangle Packing.- Solving a Telecommunications Feature Subscription Configuration Problem.- Protein Structure Prediction with Large Neighborhood Constraint Programming Search.- An Application of Constraint Programming to Superblock Instruction Scheduling.- Research Track Long Papers.- Classes of Submodular Constraints Expressible by Graph Cuts.- Optimization of Simple Tabular Reduction for Table Constraints.- Universal Booleanization of Constraint Models.- Flow-Based Propagators for the SEQUENCE and Related Global Constraints.- Guiding Search in QCSP?+? with Back-Propagation.- A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions.- A Branch and Bound Algorithm for Numerical MAX-CSP.- A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules.- Cost-Based Domain Filtering for Stochastic Constraint Programming.- Dichotomic Search Protocols for Constrained Optimization.- Length-Lex Bounds Consistency for Knapsack Constraints.- A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction Problems.- From High Girth Graphs to Hard Instances.- Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT.- CPBPV: A Constraint-Programming Framework for Bounded Program Verification.- Exploiting Common Subexpressions in Numerical CSPs.- A Soft Constraint of Equality: Complexity and Approximability.- Structural Tractability of Propagated Constraints.- Connecting ABT with Arc Consistency.- Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies.- Reformulating Positive Table Constraints Using Functional