A Unifying Framework for Integer and Finite Domain Constraint Programming (1997)
by
Alexander Bockmayr
,
Thomas Kasper
| Citations: | 29 - 2 self |
BibTeX
@MISC{Bockmayr97aunifying,
author = {Alexander Bockmayr and Thomas Kasper},
title = {A Unifying Framework for Integer and Finite Domain Constraint Programming},
year = {1997}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a unifying framework for integer linear programming and finite domain constraint programming, which is based on a distinction of primitive and non-primitive constraints and a general notion of branch-and-infer. We compare the two approaches with respect to their modeling and solving capabilities. We introduce symbolic constraint abstractions into integer programming. Finally, we discuss possible combinations of the two approaches.
