Kati Wolter
Zuse Institute Berlin (ZIB) Takustraße 7 14195 Berlin (Germany)
Room: 3106 Phone: +49 30 84185-283 Fax: +49 30 84185-269 Email: wolterzib.de

Project

I am a member of the project "Linear, Integer, and Constraint Programming" at ZIB. We develop, maintain, and provide the ZIB Optimization Suite. It includes the modeling language ZIMPL, the LP solver SoPlex, and the branch-cut-and-price framework SCIP.

I am a member of the DFG funded project "Exact Integer Programming". The aim of this project is to develop and implement an approach for the exact solution of mixed integer programs. Extending the SCIP framework we want to provide a tool to compute exact optimal solutions. Additionally, we investigate exact certificates for infeasibility.

Short Academic CV

03-04/2010	Visiting researcher at H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta
since 07/2007	Research assistant at Zuse Institute Berlin
2004-2007	Student assistant at Zuse Institute Berlin
1999-2007	Studies of Applied Mathematics (Wirtschaftsmathematik) at the Technische Universität Berlin

Teaching

WS 2009/2010

Exercises: ADM II (BMS course: Linear and integer programming)

Upcoming Meetings

ISMP 2012: International Symposium on Mathematical Programming
Aug. 19 - 24, 2012. Berlin, Germany.

Publications

• Valid Linear Programming Bounds for Exact Mixed-Integer Programming
  Daniel E. Steffy and Kati Wolter
  Accepted for publication in INFORMS Journal on Computing.
  Available as ZIB-Report 11-08, 2011

• An Exact Rational Mixed-Integer 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, 104-116, 2011
  Available as ZIB-Report 11-07, 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):103-163, 2011
  Available as ZIB-Report 10-31, 2010

• Constraint Integer Programming: Techniques and Applications
  Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, and Kati Wolter
  Available as ZIB-Report 08-43, 2008

• Constraint Integer Programming: a New Approach to Integrate CP and MIP
  Tobias Achterberg, Timo Berthold, Thorsten Koch, and Kati Wolter
  Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2008, LNCS 5015, 6-20, 2008
  Available as ZIB-Report 08-01

• Implementation of Cutting Plane Separators for Mixed Integer Programs
  Diploma Thesis, Technische Universität Berlin, 2006