Limit search to available items
Book Cover
Author International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (9th : 2012 : Nantes, France)

Title 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 / Nicolas Beldiceanu, Narendra Jussien, Éric Pinson (eds.)
Published Berlin ; New York : Springer, [2012]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xi, 408 pages)
Series Lecture notes in computer science, 0302-9743 ; 7298
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 7298
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents A Contractor Based on Convex Interval Taylor / Ignacio Araya, Gilles Trombettoni and Bertrand Neveu -- fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays / Sébastien Bardin and Arnaud Gotlieb -- Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem / David Bergman, Andre A. Cire, Willem-Jan van Hoeve and John N. Hooker -- Graph Coloring Facets from All-Different Systems / David Bergman and John N. Hooker -- Complete Characterization of Near-Optimal Sequences for the Two-Machine Flow Shop Scheduling Problem / Jean-Charles Billaut, Emmanuel Hebrard and Pierre Lopez -- Global Cyclic Cumulative Constraint / Alessio Bonfietti, Michele Lombardi, Luca Benini and Michela Milano -- A Computational Geometry-Based Local Search Algorithm for Planar Location Problems / Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan and Luis Quesada -- The Conjunction of Interval Among Constraints / Gilles Chabert and Sophie Demassey -- Flow-Based Combinatorial Chance Constraints / Andre A. Cire, Elvin Coban and Willem-Jan van Hoeve -- Explaining Flow-Based Propagation / Nicholas Downing, Thibaut Feydy and Peter J. Stuckey -- Constraint Optimization Problems and Bounded Tree-Width Revisited / Tommy Färnqvist -- A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers / Daniel Fontaine and Laurent Michel -- Explaining Propagators for s-DNNF Circuits / Graeme Gange and Peter J. Stuckey -- Reconsidering Mixed Integer Programming and MIP-Based Hybrids for Scheduling / Stefan Heinz and J. Christopher Beck
Activity-Based Search for Black-Box Constraint Programming Solvers / Laurent Michel and Pascal Van Hentenryck -- Instance-Specific Algorithm Configuration as a Method for Non-Model-Based Portfolio Generation / Yuri Malitsky and Meinolf Sellmann -- Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility / Florence Massen, Yves Deville and Pascal Van Hentenryck -- Simple Temporal Problems in Route Scheduling for the Dial-a-Ride Problem with Transfers / Renaud Masson, Fabien Lehuédé and Olivier Péton -- Solving the Longest Simple Path Problem with Constraint-Based Techniques / Quang Dung Pham and Yves Deville -- On Beam Search for Multicriteria Combinatorial Optimization Problems / Aníbal Ponte, Luís Paquete and José R. Figueira -- Combining Static and Dynamic Models for Boosting Forward Planning / Cédric Pralet and Gérard Verfaillie -- Hybrid Heuristics for Multimodal Homecare Scheduling / Andrea Rendl, Matthias Prandtstetter, Gerhard Hiermann, Jakob Puchinger and Günther Raidl -- Guiding Combinatorial Optimization with UCT / Ashish Sabharwal, Horst Samulowitz and Chandra Reddy -- Maximising the Net Present Value for Resource-Constrained Project Scheduling / Andreas Schutt, Geoffrey Chu, Peter J. Stuckey and Mark G. Wallace -- Randomized Adaptive Vehicle Decomposition for Large-Scale Power Restoration / Ben Simon, Carleton Coffrin and Pascal Van Hentenryck -- A Multilevel Algorithm for Large Unconstrained Binary Quadratic Optimization / Yang Wang, Zhipeng Lü, Fred Glover and Jin-Kao Hao
Summary 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
Analysis Computer science
Computer software
Electronic data processing
Computational complexity
Artificial intelligence
Numeric Computing
Discrete Mathematics in Computer Science
Algorithm Analysis and Problem Complexity
Operations Research/Decision Theory
Bibliography Includes bibliographical references and author index
Subject Combinatorial optimization -- Data processing -- Congresses.
Constraint programming (Computer science) -- Congresses.
Artificial intelligence -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Beldiceanu, Nicolas.
Jussien, Narendra.
Pinson, Éric.
ISBN 9783642298288 (electronic bk.)
3642298281 (electronic bk.)
Other Titles CPAIOR 2012