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.).

By: (9th : International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (9th : 2012 : Nantes, France)
Contributor(s): Beldiceanu, Nicolas | Jussien, Narendra | Pinson, Éric
Material type: TextTextSeries: SerienbezeichnungLecture notes in computer science: 7298.; LNCS sublibrary: Publisher: Berlin ; New York : Springer, ©2012Description: 1 online resource (xi, 408 pages)Content type: text Media type: computer Carrier type: online resourceISBN: 9783642298288; 3642298281; 3642298273; 9783642298271Other title: CPAIOR 2012Subject(s): Combinatorial optimization -- Data processing -- Congresses | Constraint programming (Computer science) -- Congresses | Artificial intelligence -- Congresses | Informatique | Artificial intelligence | Combinatorial optimization -- Data processing | Constraint programming (Computer science) | 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 | numerieke methoden | numerical methods | computertechnieken | computer techniques | computerwetenschappen | computer sciences | algoritmen | algorithms | computeranalyse | computer analysis | wiskunde | mathematics | kunstmatige intelligentie | operationeel onderzoek | operations research | Information and Communication Technology (General) | Informatie- en communicatietechnologie (algemeen)Genre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Integration of AI and OR Techniques in constraint programming for combinatorial optimization problems.DDC classification: 519.6/40285 LOC classification: QA402.5 | .I58 2012Online resources: Click here to access online
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Includes bibliographical references and author index.

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.

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.

English.

There are no comments for this item.

to post a comment.

Powered by Koha