Stefan Heinz - homepage

Zuse Institute Berlin (ZIB)

Division Scientific Computing
Department Optimization

Takustr. 7
14195 Berlin
Germany

Phone: [++49] (30) 841 85 - 428

Fax: [++49] (30) 841 85 - 269

Email: heinz [at] zib.de

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.

Projects

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.

Last modified: