Ebook: Principles and Practice of Constraint Programming: 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.

---

This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013.
The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.

---

This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013.
The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.
Content:
Front Matter....Pages -
Optimization for Policy Making: The Cornerstone for an Integrated Approach....Pages 1-2
Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning....Pages 3-4
Those Who Cannot Remember the Past Are Condemned to Repeat It....Pages 5-6
Decide Different!....Pages 7-7
The Objective-CP Optimization System....Pages 8-29
Parallel Discrepancy-Based Search....Pages 30-46
Bin Packing with Linear Usage Costs – An Application to Energy Management in Data Centres....Pages 47-62
Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem....Pages 63-79
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints....Pages 80-96
To Encode or to Propagate? The Best Choice for Each Constraint in SAT....Pages 97-106
Improving WPM2 for (Weighted) Partial MaxSAT....Pages 107-116
MinSAT versus MaxSAT for Optimization Problems....Pages 117-132
Adaptive Parameterized Consistency....Pages 133-142
Global Inverse Consistency for Interactive Constraint Satisfaction....Pages 143-158
Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems....Pages 159-174
On the Reduction of the CSP Dichotomy Conjecture to Digraphs....Pages 175-183
A Scalable Approximate Model Counter....Pages 184-199
Dominance Driven Search....Pages 200-216
Tractable Combinations of Global Constraints....Pages 217-229
Postponing Optimization to Speed Up MAXSAT Solving....Pages 230-246
Dead-End Elimination for Weighted CSP....Pages 247-262
Solving Weighted CSPs by Successive Relaxations....Pages 263-272
Constraint-Based Program Reasoning with Heaps and Separation....Pages 273-281
Model Combinators for Hybrid Optimization....Pages 282-298
Modelling Destructive Assignments....Pages 299-314
An Improved Search Algorithm for Min-Perturbation....Pages 315-330
Explaining Propagators for Edge-Valued Decision Diagrams....Pages 331-339
A Simple and Effective Decomposition for the Multidimensional Binpacking Constraint....Pages 340-355
Maintaining Soft Arc Consistencies in BnB-ADOPT +  during Search....Pages 356-364
Solving String Constraints: The Case for Constraint Programming....Pages 365-380
Blowing Holes in Various Aspects of Computational Problems, with Applications to Constraint Satisfaction....Pages 381-397
Solving QBF with Free Variables....Pages 398-414
Globalizing Constraint Models....Pages 415-431
A New Propagator for Two-Layer Neural Networks in Empirical Model Learning....Pages 432-447
Bandit-Based Search for Constraint Programming....Pages 448-463
Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability....Pages 464-480
Multi-Objective Constraint Optimization with Tradeoffs....Pages 481-496
Multidimensional Bin Packing Revisited....Pages 497-512
A Parametric Propagator for Discretely Convex Pairs of Sum Constraints....Pages 513-528
Breaking Symmetry with Different Orderings....Pages 529-544
Time-Table Extended-Edge-Finding for the Cumulative Constraint....Pages 545-561
Revisiting the Cardinality Reasoning for BinPacking Constraint....Pages 562-577
Value Interchangeability in Scenario Generation....Pages 578-586
Embarrassingly Parallel Search....Pages 587-595
Multi-Objective Large Neighborhood Search....Pages 596-610
Scheduling Optional Tasks with Explanation....Pages 611-627
Residential Demand Response under Uncertainty....Pages 628-644
Lifting Structural Tractability to CSP with Global Constraints....Pages 645-660
Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers....Pages 661-677
Primal and Dual Encoding from Applications into Quantified Boolean Formulas....Pages 678-693
Asynchronous Forward Bounding Revisited....Pages 694-707
Optimizing STR Algorithms with Tuple Compression....Pages 708-723
Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker....Pages 724-732
Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search....Pages 733-748
Constraint-Based Approaches for Balancing Bike Sharing Systems....Pages 749-757
Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems....Pages 758-773
Laser Cutting Path Planning Using CP....Pages 774-789
Atom Mapping with Constraint Programming....Pages 790-804
Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification....Pages 805-822
Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks....Pages 823-831
Automatic Generation and Delivery of Multiple-Choice Math Quizzes....Pages 832-847
Constrained Wine Blending....Pages 848-863
The Berth Allocation and Quay Crane Assignment Problem Using a CP Approach....Pages 864-879
Back Matter....Pages 880-896
....Pages -