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
Type de document :
Chapitre d'ouvrage
Michela Milano. Constraint and Integer Programming. Toward a Unified Methodology, Kluwer, pp.59-87, 2003, Operations Research/Computer Science Interfaces
Liste complète des métadonnées
https://hal.inria.fr/inria-00099687
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:40:19
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52

Identifiants

  • HAL Id : inria-00099687, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

81

Contact


archive-ouverte@inria.fr