HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Book sections

Branch-and-Infer: a Framework for Combining CP and IP

Alexander Bockmayr 1 Thomas Kasper
1 MODBIO - Computational models in molecular biology
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We develop a unifying view of integer linear programming and finite domain constraint programming. We present the two modeling and solution approaches in a uniform framework, branch-and-infer. The goal of this framework is to clarify the relationship between the two techniques, and to indicate possible ways towards their integration. We illustrate the different concepts by examples from discrete tomography and supply chain optimization.
Mots-clés : programmation entière constraint programming integer programming programmation par contraintes
Document type :
Book sections
Complete list of metadata
https://hal.inria.fr/inria-00099687
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 9:40:19 AM
Last modification on : Friday, February 4, 2022 - 3:30:49 AM

Identifiers

  • HAL Id : inria-00099687, version 1

Collections

INRIA | CNRS | LORIA | UNIV-LORRAINE | INRIA2

Citation

Alexander Bockmayr, Thomas Kasper. Branch-and-Infer: a Framework for Combining CP and IP. Michela Milano. Constraint and Integer Programming. Toward a Unified Methodology, Kluwer, pp.59-87, 2003, Operations Research/Computer Science Interfaces. ⟨inria-00099687⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

45

 

Contact                    Legal Notice                    Personal Data