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