## A Unifying Framework for Integer and Finite Domain Constraint Programming (1997)

by
Alexander Bockmayr
,
Thomas Kasper

Citations: | 32 - 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

### 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.