Kati Wolter 





In 2015, I joined MOSEK ApS as a Senior developer. I develop and maintain the mixedinteger programming solver of MOSEK ApS.
At Zuse Institute Berlin, I was a member of the project "Linear, Integer, and Constraint Programming", which developes and maintaines the SCIP Optimization Suite, and of the DFG funded project "Exact Integer Programming", which developed and implemented an approach for the exact solution of mixedinteger programming problems over the rational numbers.
Since 01/2015  Senior developer at MOSEK ApS 
Since 10/2013  Visiting researcher and Ph.D student at Zuse Institute Berlin 
0304/2010  Visiting researcher at H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta 
20072013  Research assistant and Ph.D student at Zuse Institute Berlin 
20042007  Student assistant at Zuse Institute Berlin 
19992007  Studies of Applied Mathematics (Wirtschaftsmathematik) at the Technische Universität Berlin 
WS 2009/2010  Exercises: ADM II (BMS course: Linear and integer programming) at Technische Universität Berlin 
Betaversion of SCIP which can solve MIP instances exactly over the rational numbers (based on SCIP 3.0.0).
Member of the program commitee of the Mixed Integer Programming Workshop 2016
Iterative Refinement for Linear Programming
Ambros M. Gleixner, Daniel E. Steffy, and Kati Wolter
Accepted for publication in INFORMS Journal on Computing.
Available as
ZIBReport 1515, 2015
A Hybrid BranchandBound Approach for Exact Rational MixedInteger Programming
William Cook, Thorsten Koch, Daniel E. Steffy, and Kati Wolter
Mathematical Programming Computation, 5(3):305344, 2013
Available as
ZIBReport 1249, 2012
Improving the Accuracy of Linear Programming Solvers with Iterative Refinement
Ambros M. Gleixner, Daniel E. Steffy and Kati Wolter
ISSAC 2012: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, 187194, 2012
Available as
ZIBReport 1219, 2012
Valid Linear Programming Bounds for Exact MixedInteger Programming
Daniel E. Steffy and Kati Wolter
INFORMS Journal on Computing, 25(2):271284, 2013
Available as
ZIBReport 1108, 2011
An Exact Rational MixedInteger Programming Solver
William Cook, Thorsten Koch, Daniel E. Steffy, and Kati Wolter
IPCO 2011: The 15th Conference on Integer Programming and Combinatorial Optimization, LNCS 6655, 104116, 2011
Available as
ZIBReport 1107, 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 Mittelmann, Ted Ralphs, Domenico Salvagnin, Daniel E. Steffy, and Kati Wolter
Mathematical Programming Computation, 3(2):103163, 2011
Available as
ZIBReport 1031, 2010
Constraint Integer Programming: Techniques and Applications
Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, and Kati Wolter
Available as
ZIBReport 0843, 2008
Constraint Integer Programming: a New Approach to Integrate CP and MIP
Tobias Achterberg, Timo Berthold, Thorsten Koch, and Kati Wolter
CPAIOR 2008: Integration of AI and OR Techniques in Constraint Programming for
Combinatorial Optimization Problems, LNCS 5015, 620, 2008
Available as
ZIBReport 0801
Implementation of Cutting Plane Separators for Mixed Integer Programs
Diploma Thesis, Technische Universität Berlin, 2006