 | 2009 |
|---|
| 6 |       | Stefan Heinz,
Martin Sachenbacher:
Using Model Counting to Find Optimal Distinguishing Tests.
CPAIOR 2009: 117-131 |
| 5 | | Timo Berthold,
Stefan Heinz,
Marc E. Pfetsch:
Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?.
SAT 2009: 441-446 |
| 4 | | Tobias Harks,
Stefan Heinz,
Marc E. Pfetsch:
Competitive Online Multicommodity Routing.
Theory Comput. Syst. 45(3): 533-554 (2009) |
| 2008 |
|---|
| 3 | | Tobias Achterberg,
Stefan Heinz,
Thorsten Koch:
Counting Solutions of Integer Programs Using Unrestricted Subtree Detection.
CPAIOR 2008: 278-282 |
| 2006 |
|---|
| 2 | | Tobias Harks,
Stefan Heinz,
Marc E. Pfetsch:
Competitive Online Multicommodity Routing.
WAOA 2006: 240-252 |
| 2005 |
|---|
| 1 | | Stefan Heinz,
Sven Oliver Krumke,
Nicole Megow,
Jörg Rambau,
Andreas Tuchscherer,
Tjark Vredeveld:
The Online Target Date Assignment Problem.
WAOA 2005: 230-243 |
