Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/autre/integration-of-ai-and-or-techniques-in-constraint-programming/michel/descriptif_3248876
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=3248876

Integration of AI and OR Techniques in Constraint Programming, 2015 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings Theoretical Computer Science and General Issues Series

Langue : Anglais

Coordonnateur : Michel Laurent

Couverture de l’ouvrage Integration of AI and OR Techniques in Constraint Programming
This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2015, held in Barcelona, Spain, in May 2015. The 29 papers presented together with 8 short papers in this volume were carefully reviewed and selected from 90 submissions. The purpose of the conference series is to bring together researchers in the fields of Constraint Programming, Artificial Intelligence and Operations Research to explore ways of solving hard and large scale combinatorial optimization problems that emerge in various industrial domains. Pooling the skills and strengths of this diverse group of researchers has proved extremely effective and valuable during the past decade leading to improvements and cross-fertilization between the three fields as well as breakthrough for actual applications.

A Time-Dependent No-Overlap Constraint: Application to Urban Delivery Problems.- Rectangle Placement for VLSI Testing.- A Constraint-Based Local Search for Edge Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem.- A Benders Approach to the Minimum Chordal Completion Problem.- MaxSAT-Based Scheduling of B2B Meetings.- Embedding Decision Trees and Random Forests in Constraint Programming.- Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study.- Learning Value Heuristics for Constraint Programming.- Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm.- Branching on Multi-aggregated Variables.- Time-Table Disjunctive Reasoning for the Cumulative Constraint.- Uncertain Data Dependency Constraints in Matrix Models.- An Efficient Local Search for Partial Latin Square Extension Problem.- Enhancing MIP Branching Decisions by Using the Sample Variance of Pseudo Costs.- BDD-Guided Clause Generation.- Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem.- Large Neighborhood Search for Energy Aware Meeting Scheduling in Smart Buildings.- ILP and CP Formulations for the Lazy Bureaucrat Problem.- The Smart Table Constraint.- Constraint-Based Sequence Mining Using Constraint Programming.- A Comparative Study of MIP and CP Formulations for the B2B Scheduling Optimization Problem.- Constraint-Based Local Search for Golomb Rulers.- Packing While Traveling: Mixed Integer Programming for a Class of Nonlinear Knapsack Problems.- MaxSAT-Based Cutting Planes for Learning Graphical Models.- A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW.- Constraint Solving on Bounded String Variables.- Freight Train Threading with Different Algorithms.- Learning General Constraints in CSP.- Understanding the Potential of Propagators.- Failure-Directed Search for Constraint-Based Scheduling.