Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming. - Alexander Bockmayr; Thomas Kasper (INFORMS J. Comput., 1998)

A unifying logical framework for integer linear programming and finite domain constraint programming. - Thomas Kasper (1998)

Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming. - Alexander Bockmayr; Thomas Kasper (JFPLC, 1999)

SCIL - Symbolic Constraints in Integer Linear Programming. - Ernst Althaus; Alexander Bockmayr; Matthias Elf; Michael Jünger; Thomas Kasper; Kurt Mehlhorn (ESA, 2002)