Thomas Kasper

According to our database, Thomas Kasper authored at least 4 papers between 1998 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

SCIL - Symbolic Constraints in Integer Linear Programming.

Ernst Althaus, Alexander Bockmayr, Matthias Elf, Michael Jünger, Thomas Kasper, Kurt Mehlhorn

Proceedings of the Algorithms, 2002

1999

Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming.

Alexander Bockmayr, Thomas Kasper

Proceedings of the JFPLC'99, 1999

1998

A unifying logical framework for integer linear programming and finite domain constraint programming.

Thomas Kasper

PhD thesis, 1998

Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming.

Alexander Bockmayr, Thomas Kasper

INFORMS J. Comput., 1998