Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
Alexander Bockmayr, Thomas Kasper · INFORMS journal on computing · 1998
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.