Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
Alexander Bockmayr, Thomas Kasper
INFORMS Journal on Computing · 1998 · Volume 10 · Issue 3
Abstract
We introduce branch and infer, a unifying framework for integer linear programming and finite domain constraint programming. We use this framework to compare the two approaches with respect to their modeling and solving capabilities, to introduce symbolic constraint abstractions into integer programming, and to discuss possible combinations of the two approaches.
Keywords
Constraint programming, Integer programming, computational logic, semantics, branch and bound
Enable JavaScript for citation tools and additional paper interactions.