Zuse Institut
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j6 |      | Stefan Heinz, Jens Schulz, J. Christopher Beck: Using dual presolving reductions to reformulate cumulative constraints. Constraints 18(2): 166-201 (2013) |
| c10 | | Stefan Heinz, Wen-Yang Ku, J. Christopher Beck: Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling. CPAIOR 2013: 12-27 |
| 2012 | ||
| j5 | | Stefan Heinz, Thomas Schlechte, Rüdiger Stephan, Michael Winkler: Solving steel mill slab design problems. Constraints 17(1): 39-50 (2012) |
| c9 | | Stefan Heinz, J. Christopher Beck: Reconsidering Mixed Integer Programming and MIP-Based Hybrids for Scheduling. CPAIOR 2012: 211-227 |
| 2011 | ||
| j4 | | 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 D. Mittelmann, Ted K. Ralphs, Domenico Salvagnin, Daniel E. Steffy, Kati Wolter: MIPLIB 2010. Math. Program. Comput. 3(2): 103-163 (2011) |
| c8 | | Timo Berthold, Stefan Heinz, Jens Schulz: An Approximative Criterion for the Potential of Energetic Reasoning. TAPAS 2011: 229-239 |
| c7 | | Stefan Heinz, Jens Schulz: Explanations for the Cumulative Constraint: An Experimental Study. SEA 2011: 400-409 |
| 2010 | ||
| c6 | | Timo Berthold, Stefan Heinz, Marco E. Lübbecke, Rolf H. Möhring, Jens Schulz: A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling. CPAIOR 2010: 313-317 |
| 2009 | ||
| j3 | | Tobias Harks, Stefan Heinz, Marc E. Pfetsch: Competitive Online Multicommodity Routing. Theory Comput. Syst. 45(3): 533-554 (2009) |
| c5 | | Stefan Heinz, Martin Sachenbacher: Using Model Counting to Find Optimal Distinguishing Tests. CPAIOR 2009: 117-131 |
| c4 | | Timo Berthold, Stefan Heinz, Marc E. Pfetsch: Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?. SAT 2009: 441-446 |
| 2008 | ||
| j2 | | Stefan Heinz: Realizability of dynamic subgrid-scale stress models via stochastic analysis. Monte Carlo Meth. and Appl. 14(4): 311-329 (2008) |
| j1 | | Michael Stöllinger, Stefan Heinz: PDF modeling and simulation of premixed turbulent combustion. Monte Carlo Meth. and Appl. 14(4): 343-377 (2008) |
| c3 | | Tobias Achterberg, Stefan Heinz, Thorsten Koch: Counting Solutions of Integer Programs Using Unrestricted Subtree Detection. CPAIOR 2008: 278-282 |
| 2006 | ||
| c2 | | Tobias Harks, Stefan Heinz, Marc E. Pfetsch: Competitive Online Multicommodity Routing. WAOA 2006: 240-252 |
| 2005 | ||
| c1 | | Stefan Heinz, Sven Oliver Krumke, Nicole Megow, Jörg Rambau, Andreas Tuchscherer, Tjark Vredeveld: The Online Target Date Assignment Problem. WAOA 2005: 230-243 |
Colors in the list of coauthors
Last update Thu May 23 00:26:48 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page