Integration of AI and OR Techniques in Constraint Programming: 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings

Front Matter....Pages -
Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman....Pages 1-14
Stable Roommates and Constraint Programming....Pages 15-28
Detecting and Exploiting Permutation Structures in MIPs....Pages 29-44
Solving the Quorumcast Routing Problem as a Mixed Integer Program....Pages 45-54
A New MIP Model for Parallel-Batch Scheduling with Non-identical Job Sizes....Pages 55-70
Mining (Soft-) Skypatterns Using Dynamic CSP....Pages 71-87
Modelling with Option Types in MiniZinc....Pages 88-103
Interactive Design of Sustainable Cities with a Distributed Local Search Solver....Pages 104-119
Sliced Table Constraints: Combining Compression and Tabular Reduction....Pages 120-135
The PrePack Optimization Problem....Pages 136-143
An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments....Pages 144-158
Local Search for a Cargo Assembly Planning Problem....Pages 159-175
A Logic Based Benders’ Approach to the Concrete Delivery Problem....Pages 176-192
Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream Processing....Pages 193-209
Disregarding Duration Uncertainty in Partial Order Schedules? Yes, We Can!....Pages 210-225
An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique Problem....Pages 226-234
Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency....Pages 235-250
Representative Encodings to Translate Finite CSPs into SAT....Pages 251-267
SAT and Hybrid Models of the Car Sequencing Problem....Pages 268-283
Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling....Pages 284-292
Cost Impact Guided LNS....Pages 293-300
Proteus: A Hierarchical Portfolio of Solvers and Transformations....Pages 301-317
Buffered Resource Constraint: Algorithms and Complexity....Pages 318-333
Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems....Pages 334-350
Parallel Combinatorial Optimization with Decision Diagrams....Pages 351-367
A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems....Pages 368-376
Parallel Depth-Bounded Discrepancy Search....Pages 377-393
Self-splitting of Workload in Parallel Computation....Pages 394-404
The Markov Transition Constraint....Pages 405-421
New Lower Bounds on the Number of Vehicles for the Vehicle Routing Problem with Time Windows....Pages 422-437
Constrained Clustering Using Column Generation....Pages 438-454
A Constraint Programming-Based Column Generation Approach for Operating Room Planning and Scheduling....Pages 455-463
Dynamic Controllability and Dispatchability Relationships....Pages 464-479
Back Matter....Pages -