Stefan Heinz
Zuse Institute Berlin (ZIB)

Division Scientific Computing
Department Optimization

Takustr. 7
14195 Berlin
Phone: [++49] (30) 841 85 - 428
Fax: [++49] (30) 841 85 - 269
Email: heinz [at]
Room: 3105

SCIP (Solving Constraint Integer Programs)

SCIP is a framework for Constraint Integer Programming oriented towards the needs of Mathematical Programming experts who want to have total control of the solution process and access detailed information down to the guts of the solver. SCIP can also be used as pure MIP solver or as framework for branch-cut-and-price.
For more details about this framework please follow this link.


For more details about these projects feel free to visit the web pages.

Matheon-B20 Optimization of gas transport
Matheon-D17 Chip Design Verification
VeriCount Counting Solutions in the Field of Verification

Academic CV
2000 - 2005 Studies of Applied Mathematics (Wirtschaftsmathematik) at the Technische Universität Berlin.
2003 - 2006 Student assistant at Zuse Institute Berlin.
11/2008 Visiting researcher at NICTA.
5/2011 Conference Chair CPAIOR 2011.
5/2013 Sponsoring Chair CPAIOR 2013.
since 3/2006 Research assistant at Zuse Institute Berlin.

Valid HTML 4.01 Transitional Valid CSS! Last modified: