Branch-and-Infer: a Framework for Combining CP and IP - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2003

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

Thomas Kasper
  • Fonction : Auteur

Résumé

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.
Fichier non déposé

Dates et versions

inria-00099687 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099687 , version 1

Citer

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⟩
47 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More