Constraint Integer Programming: A New Approach to Integrate CP and MIP. - Tobias Achterberg; Timo Berthold; Thorsten Koch; Kati Wolter (CPAIOR, 2008)

An Exact Rational Mixed-Integer Programming Solver. - William J. Cook; Thorsten Koch; Daniel E. Steffy; Kati Wolter (IPCO, 2011)

MIPLIB 2010. - Thorsten Koch; Tobias Achterberg; Erling Andersen; Oliver Bastert; Timo Berthold; Robert E. Bixby; Emilie Danna; Gerald Gamrath; Ambros M. Gleixner; Stefan Heinz 001; Andrea Lodi 001; Hans D. Mittelmann; et al. (Math. Program. Comput., 2011)

Improving the accuracy of linear programming solvers with iterative refinement. - Ambros M. Gleixner; Daniel E. Steffy; Kati Wolter (ISSAC, 2012)

Valid Linear Programming Bounds for Exact Mixed-Integer Programming. - Daniel E. Steffy; Kati Wolter (INFORMS J. Comput., 2013)

A hybrid branch-and-bound approach for exact rational mixed-integer programming. - William J. Cook; Thorsten Koch; Daniel E. Steffy; Kati Wolter (Math. Program. Comput., 2013)

Iterative Refinement for Linear Programming. - Ambros M. Gleixner; Daniel E. Steffy; Kati Wolter (INFORMS J. Comput., 2016)