Kati Wolter

Computer Science · Physical Sciences

8h-index723citations9works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(6), Advanced Optimization Algorithms Research(6), Numerical Methods and Algorithms(5), Polynomial and algebraic computation(2), Constraint Satisfaction and Optimization(2)

Publications9 total

Iterative Refinement for Linear Programming
INFORMS journal on computing·2016· 62 cited
A hybrid branch-and-bound approach for exact rational mixed-integer programming
Mathematical Programming Computation·2013· 49 cited
Improving the accuracy of linear programming solvers with iterative refinement
2012· 33 cited
Valid Linear Programming Bounds for Exact Mixed-Integer Programming
INFORMS journal on computing·2012· 11 cited
MIPLIB 2010
Mathematical Programming Computation·2011· 314 cited
Mixed Integer Programming Library version 5
2011· 36 cited
An Exact Rational Mixed-Integer Programming Solver
Lecture notes in computer science·2011· 42 cited
Constraint Integer Programming: Techniques and Applications
2008· 2 cited
Constraint Integer Programming: A New Approach to Integrate CP and MIP
Lecture notes in computer science·2008· 174 cited

Frequent Co-authors

Daniel E. Steffy(7), Thorsten Koch(6), Tobias Achterberg(4), Timo Berthold(4), Ambros Gleixner(4), Stefan Heinz(3), Erling Andersen(2), Oliver Bastert(2), Robert E. Bixby(2), Emilie Danna(2), Gerald Gamrath(2), Andrea Lodi(2), Hans D. Mittelmann(2), Ted K. Ralphs(2), Domenico Salvagnin(2), William J. Cook(2)