ZIB-Logo
KONRAD-ZUSE-ZENTRUM
FÜR INFORMATIONSTECHNIK
BERLIN

Kati Wolter - Staff

Zuse Institute Berlin (ZIB)
Discrete Mathematics
Department Optimization

Takustr. 7
D-14195 Berlin-Dahlem
Germany

Email:     wolterzib.de
Phone:   +49 30 84185-283
Fax:       +49 30 84185-269
Room:    3106

Publications

2012

William Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter A Hybrid Branch-and-Bound Approach for Exact Rational Mixed-Integer Programming ZIB-Report 12-49 PDF


BibTex | RIS
Ambros Gleixner, Daniel Steffy, Kati Wolter Improving the Accuracy of Linear Programming Solvers with Iterative Refinement Appeared in: ISSAC '12 Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation pp. 187-194 , PDF (Preprint)

DOI
BibTex | RIS

2011

William Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter An Exact Rational Mixed-Integer Programming Solver IPCO 2011: Proceedings of the 15th International Conference on Integer Programming and Combinatoral Optimization, Lecture Notes in Computer Science, Oktay Günlük, Gerhard J. Woeginger (Eds.), Vol. 6655, pp. 104-116, 2011 PDF (Preprint)

DOI
BibTex | RIS
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, Kati Wolter MIPLIB 2010 Mathematical Programming Computation, Vol. 3, No. 2, pp. 103-163, 2011 PDF (Preprint)


DOI
BibTex | RIS
Daniel E. Steffy, Kati Wolter Valid Linear Programming Bounds for Exact Mixed-Integer Programming ZIB-Report 11-08 PDF


BibTex | RIS

2008

Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter Constraint Integer Programming: A New Approach to Integrate CP and MIP Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Lecture Notes in Computer Science, may, Laurent Perron, Michael A. Trick (Eds.), Vol. 5015, pp. 6-20, Springer, 2008 PDF (Preprint)



BibTex | RIS
Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Kati Wolter Constraint Integer Programming: Techniques and Applications ZIB-Report 08-43 PDF



BibTex | RIS