Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

Front Matter....Pages I-XXIV
Front Matter....Pages 1-1
Encoding Linear Constraints with Implication Chains to CNF....Pages 3-11
Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP....Pages 12-29
Improved Constraint Propagation via Lagrangian Decomposition....Pages 30-38
Strengthening Convex Relaxations with Bound Tightening for Power Network Optimization....Pages 39-57
Broken Triangles Revisited....Pages 58-73
A Microstructure-Based Family of Tractable Classes for CSPs....Pages 74-88
The Unary Resource with Transition Times....Pages 89-104
A Global Constraint for a Tractable Class of Temporal Optimization Problems....Pages 105-120
Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming....Pages 121-139
Conflict Ordering Search for Scheduling Problems....Pages 140-148
Simple and Scalable Time-Table Filtering for the Cumulative Constraint....Pages 149-157
General Bounding Mechanism for Constraint Programs....Pages 158-172
Smallest MUS Extraction with Minimal Hitting Set Dualization....Pages 173-182
Upper and Lower Bounds on the Time Complexity of Infinite-Domain CSPs....Pages 183-199
Generalized Totalizer Encoding for Pseudo-Boolean Constraints....Pages 200-209
Smaller Selection Networks for Cardinality Constraints Encoding....Pages 210-225
PREFIX-PROJECTION Global Constraint for Sequential Pattern Mining....Pages 226-243
On Tree-Preserving Constraints....Pages 244-261
Modeling and Solving Project Scheduling with Calendars....Pages 262-278
Deterministic Estimation of the Expected Makespan of a POS Under Duration Uncertainty....Pages 279-294
Front Matter....Pages 1-1
A Parallel, Backjumping Subgraph Isomorphism Algorithm Using Supplemental Graphs....Pages 295-312
Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation....Pages 313-329
Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row....Pages 330-340
Exact Sampling for Regular and Markov Constraints with Belief Propagation....Pages 341-350
Randomness as a Constraint....Pages 351-366
Quasipolynomial Simulation of DNNF by a Non-determinstic Read-Once Branching Program....Pages 367-375
MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc....Pages 376-392
Two Clause Learning Approaches for Disjunctive Scheduling....Pages 393-402
Bounding an Optimal Search Path with a Game of Cop and Robber on Graphs....Pages 403-418
Restricted Path Consistency Revisited....Pages 419-428
Machine Learning of Bayesian Networks Using Constraint Programming....Pages 429-445
Hybridization of Interval CP and Evolutionary Algorithms for Optimizing Difficult Problems....Pages 446-462
A General Framework for Reordering Agents Asynchronously in Distributed CSP....Pages 463-479
Front Matter....Pages 480-496
Constraint-Based Local Search for Finding Node-Disjoint Bounded-Paths in Optical Access Networks....Pages 497-497
Open Packing for Facade-Layout Synthesis Under a General Purpose Solver....Pages 499-507
Power Capping in High Performance Computing Systems....Pages 508-523
A Constraint-Based Approach to the Differential Harvest Problem....Pages 524-540
Constrained Minimum Sum of Squares Clustering by Constraint Programming....Pages 541-556
A Constraint Programming Approach for Non-preemptive Evacuation Scheduling....Pages 557-573
Front Matter....Pages 574-591
Solving Segment Routing Problems with Hybrid Constraint Programming Techniques....Pages 497-497
Modeling Universal Instruction Selection....Pages 592-608
Optimizing the Cloud Service Experience Using Constraint Programming....Pages 609-626
Find Your Way Back: Mobility Profile Mining with Constraints....Pages 627-637
Joint Vehicle and Crew Routing and Scheduling....Pages 638-653
Constructing Sailing Match Race Schedules: Round-Robin Pairing Lists....Pages 654-670
Design and Evaluation of a Constraint-Based Energy Saving and Scheduling Recommender System....Pages 671-686
Scheduling Running Modes of Satellite Instruments Using Constraint-Based Local Search....Pages 687-703
Erratum to: Modeling Universal Instruction Selection....Pages 704-719
Back Matter....Pages E1-E3
....Pages 721-747