Kati Wolter

According to our database, Kati Wolter authored at least 7 papers between 2008 and 2016.

Collaborative distances:

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

2016

Iterative Refinement for Linear Programming.

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

INFORMS J. Comput., 2016

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

Valid Linear Programming Bounds for Exact Mixed-Integer Programming.

Daniel E. Steffy, Kati Wolter

INFORMS J. Comput., 2013

2012

Improving the accuracy of linear programming solvers with iterative refinement.

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

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

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, Andrea Lodi, Hans D. Mittelmann, Ted K. Ralphs, Domenico Salvagnin, Daniel E. Steffy, Kati Wolter

Math. Program. Comput., 2011

An Exact Rational Mixed-Integer Programming Solver.

William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter

Proceedings of the Integer Programming and Combinatoral Optimization, 2011

2008

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

Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008