Kati Wolter

Iterative Refinement for Linear Programming

Daniel E. Steffy, Ambros M. Gleixner, Kati Wolter, 2016, INFORMS J. Comput..

Konrad-zuse-zentrum F ¨ Ur Informationstechnik Berlin Improving the Accuracy of Linear Programming Solvers with Iterative Refinement Improving the Accuracy of Linear Programming Solvers with Iterative Refinement *

Daniel E. Steffy, Ambros M. Gleixner, Kati Wolter, 2022 .

Constraint Integer Programming: Techniques and Applications

T. Koch, Timo Berthold, Stefan Heinz, 2008 .

Constraint Integer Programming: A New Approach to Integrate CP and MIP

Thorsten Koch, Timo Berthold, Tobias Achterberg, 2008, CPAIOR.

Mixed Integer Programming Library version 5

Andrea Lodi, Thorsten Koch, Timo Berthold, 2011 .

Konrad-zuse-zentrum F ¨ Ur Informationstechnik Berlin a Hybrid Branch-and-bound Approach for Exact Rational Mixed-integer Programming

William J. Cook, Thorsten Koch, Daniel E. Steffy, 2022 .

An Exact Rational Mixed-Integer Programming Solver

William J. Cook, Thorsten Koch, Daniel E. Steffy, 2011, IPCO.

Simulation-based optimization vs. mathematical programming: A hybrid approach for optimizing scheduling problems

Andreas Klemmt, Gerald Weigert, Klaus-Jurgen Wolter, 2009 .