Ebook: Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems: 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2012, held in Nantes, France, in May/June 2012.

The 26 revised full papers presented were carefully reviewed and
selected from 64 submissions. The papers are focused on both theoretical and practical, application-oriented issues in combinatorial optimization and feature current research with a special focus on inference and relaxation methods, integration methods, modeling methods, innovative applications of CP/AI/OR techniques, and implementation of CP/AI/OR techniques and optimization systems.

---

This book constitutes the refereed proceedings of the 9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2012, held in Nantes, France, in May/June 2012.

The 26 revised full papers presented were carefully reviewed and
selected from 64 submissions. The papers are focused on both theoretical and practical, application-oriented issues in combinatorial optimization and feature current research with a special focus on inference and relaxation methods, integration methods, modeling methods, innovative applications of CP/AI/OR techniques, and implementation of CP/AI/OR techniques and optimization systems.

---

This book constitutes the refereed proceedings of the 9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2012, held in Nantes, France, in May/June 2012.

The 26 revised full papers presented were carefully reviewed and
selected from 64 submissions. The papers are focused on both theoretical and practical, application-oriented issues in combinatorial optimization and feature current research with a special focus on inference and relaxation methods, integration methods, modeling methods, innovative applications of CP/AI/OR techniques, and implementation of CP/AI/OR techniques and optimization systems.

Content:
Front Matter....Pages -
A Contractor Based on Convex Interval Taylor....Pages 1-16
Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem....Pages 17-33
Graph Coloring Facets from All-Different Systems....Pages 34-49
Complete Characterization of Near-Optimal Sequences for the Two-Machine Flow Shop Scheduling Problem....Pages 50-65
Global Cyclic Cumulative Constraint....Pages 66-80
A Computational Geometry-Based Local Search Algorithm for Planar Location Problems....Pages 81-96
The Conjunction of Interval Among Constraints....Pages 97-112
Flow-Based Combinatorial Chance Constraints....Pages 113-128
Explaining Flow-Based Propagation....Pages 129-145
Constraint Optimization Problems and Bounded Tree-Width Revisited....Pages 146-162
A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers....Pages 163-179
Explaining Propagators for s-DNNF Circuits....Pages 180-194
Reconsidering Mixed Integer Programming and MIP-Based Hybrids for Scheduling....Pages 195-210
Activity-Based Search for Black-Box Constraint Programming Solvers....Pages 211-227
Instance-Specific Algorithm Configuration as a Method for Non-Model-Based Portfolio Generation....Pages 228-243
Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility....Pages 244-259
Simple Temporal Problems in Route Scheduling for the Dial–a–Ride Problem with Transfers....Pages 260-274
Solving the Longest Simple Path Problem with Constraint-Based Techniques....Pages 275-291
On Beam Search for Multicriteria Combinatorial Optimization Problems....Pages 292-306
Combining Static and Dynamic Models for Boosting Forward Planning....Pages 307-321
Hybrid Heuristics for Multimodal Homecare Scheduling....Pages 322-338
Guiding Combinatorial Optimization with UCT....Pages 339-355
Maximising the Net Present Value for Resource-Constrained Project Scheduling....Pages 356-361
Randomized Adaptive Vehicle Decomposition for Large-Scale Power Restoration....Pages 362-378
A Multilevel Algorithm for Large Unconstrained Binary Quadratic Optimization....Pages 379-394
Back Matter....Pages 395-408
....Pages -