非表示:
キーワード:
-
要旨:
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.