Kati Wolter
| Zuse Institute Berlin (ZIB) | |
| Takustraße 7 | |
| 14195 Berlin (Germany) |
| Room: | 3302 |
| Phone: | +49 30 84185-283 |
| Fax: | +49 30 84185-269 |
| Email: | wolter zib.de |
Kati Wolter |
||||||||
|
|
|||||||
|
||||||||
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 constraint integer programming framework SCIP, which is freely available to the scientific community, we want to provide a tool to compute exact optimal solutions. Additionally, we investigate exact certificates for infeasibility.
| 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 |
Constraint Integer Programming: Techniques and Applications
Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, and Kati Wolter
ZIB-Report 08-43
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, 2008
Available as
ZIB-Report 08-01
Implementation of Cutting Plane Separators for Mixed Integer Programs
Diploma Thesis, Technische Universität Berlin, 2006