|
back |
| |
| | | |
Stefan Heinz
Zuse Institute Berlin (ZIB) |
| Contact this member: | mailto |
| Phone: | +49 30 84185-428 |
| Personal homepage: | link |
| | | |
| | | |
| Further Institution(s): | DFG Research Center Matheon
Mathematics for key technologies
TU Berlin
|
| Belongs to Maths: | I: Optimization and discrete mathematics
|
| Belongs to Application Area: | D: Electronic and photonic devices
|
| Short CV: | 1999-2005 Studies of Mathematics and Economy at TU Berlin (Germany)
2005 Diploma in Wirtschaftmathematik
since 2006 Research assistant, ZIB
since 2007 Member of the DFG Research Center Matheon |
| Member of Projects: | B20: Optimization of gas transport
D17: Chip design verification with constraint integer programming
|
| Publications: | Nonlinear pseudo-Boolean optimization: relaxation or propagation?
Timo Berthold and Stefan Heinz and Marc E. Pfetsch, in: Theory and Applications of Satisfiability Testing -- SAT 2009 (2009) | Extending a CIP framework to solve MIQCPs
Timo Berthold, Stefan Heinz, and Stefan Vigerske, in: Zuse Institute Berlin, Humboldt University Berlin (2009) | Counting solutions of integer programs using unrestricted subtree detection
Tobias Achterberg, Stefan Heinz, Thorsten Koch, in: CPAIOR 2008 (2008) | LP-Based Local Approximation for Markov Decision Problems
Stefan Heinz and Volker Kaibel and Matthias Peinhardt and Jörg Rambau and Andreas Tuchscherer (2006) | The Online Target Date Assignment Problem
Heinz, Stefan and Krumke, Sven O. and Megow, Nicole and Rambau, Jörg and Tuchscherer, Andreas and Vredeveld, Tjark, in: Approximation and Online Algorithms, Lecture Notes in Computer Science, Springer, 2006 (2006) | Policies for Online Target Date Assignment Problems: Competitive Analysis versus Expected Performance
Heinz, Stefan, in: TU Berlin (2005) | Relative policy evaluation in constant-degree markov decision processes
Heinz, Stefan and Kaibel, Volker and Peinhardt, Matthias and Rambau, Jörg and Tuchscherer, Andreas, in: Konrad-Zuse-Zentrum für Informationstechnik Berlin (2005) |
|
