Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010, Proceedings > Consistency Check for the Bin Packing Constraint Revisited
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010, Proceedings |
Andrea Lodi; Michela Milano; Paolo Toth
Springer Berlin Heidelberg
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010, Proceedings
Consistency Check for the Bin Packing Constraint Revisited
Authors

Julien Dupuis; Pierre Schaus; Yves Deville

ARI Id

1674219860539_3514894

Access

Not Available Free

Pages

117-122

DOI

10.1007/978-3-642-13520-0_15

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-13520-0_15

Table of Contents of Book
Showing 1 to 20 of 40 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Towards a MIP-Cut Metascheme
Matteo Fischetti
1-2
Challenges for CPAIOR in Computational Sustainability
Carla P. Gomes
3-4
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Peter J. Stuckey
5-9
On Matrices, Automata, and Double Counting
Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; Justin Pearson
10-24
The Increasing Nvalue Constraint
Nicolas Beldiceanu; Fabien Hermenier; Xavier Lorca; Thierry Petit
25-39
Improving the Held and Karp Approach with Constraint Programming
Pascal Benchimol; Jean-Charles Régin; Louis-Martin Rousseau; Michel Rueher; Willem-Jan van Hoeve
40-44
Characterization and Automation of Matching-Based Neighborhoods
Thierry Benoist
45-50
Rapid Learning for Binary Programs
Timo Berthold; Thibaut Feydy; Peter J. Stuckey
51-55
Hybrid Methods for the Multileaf Collimator Sequencing Problem
Hadrien Cambazard; Eoin O’Mahony; Barry O’Sullivan
56-70
Automatically Exploiting Subproblem Equivalence in Constraint Programming
Geoffrey Chu; Maria Garcia de la Banda; Peter J. Stuckey
71-86
Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition
Elvin Coban; John N. Hooker
87-91
Integrated Maintenance Scheduling for Semiconductor Manufacturing
Andrew Davenport
92-96
A Constraint Programming Approach for the Service Consolidation Problem
Kanika Dhyani; Stefano Gualandi; Paolo Cremonesi
97-101
Solving Connected Subgraph Problems in Wildlife Conservation
Bistra Dilkina; Carla P. Gomes
102-116
Consistency Check for the Bin Packing Constraint Revisited
Julien Dupuis; Pierre Schaus; Yves Deville
117-122
A Relax-and-Cut Framework for Gomory’s Mixed-Integer Cuts
Matteo Fischetti; Domenico Salvagnin
123-135
An In-Out Approach to Disjunctive Optimization
Matteo Fischetti; Domenico Salvagnin
136-140
A SAT Encoding for Multi-dimensional Packing Problems
Stéphane Grandcolas; Cédric Pinto
141-146
Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint Programming Approach
Diarmuid Grimes; Emmanuel Hebrard
147-161
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 40 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings