Branch-and-Infer: A Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming

Alexander Bockmayr 1 Thomas Kasper
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Integer linear programming and finite domain constraint programming are two general approaches for solving discrete optimization problems. We present a unifying framework, branch-and-infer, to clarify the relationship between these two approaches and to show how they can be integrated.
Type de document :
Communication dans un congrès
Fages, F. Journées Francophones de Programmation Logique et Programmation par Contraintes - JFPLC'99, 1999, Lyon, France, Hermes, pp.141-142, 1999
Liste complète des métadonnées

https://hal.inria.fr/inria-00099013
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:41:28
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00099013, version 1

Collections

Citation

Alexander Bockmayr, Thomas Kasper. Branch-and-Infer: A Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming. Fages, F. Journées Francophones de Programmation Logique et Programmation par Contraintes - JFPLC'99, 1999, Lyon, France, Hermes, pp.141-142, 1999. 〈inria-00099013〉

Partager

Métriques

Consultations de la notice

48