| 2019 | CPAIOR | A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming. | Jakob Witzig, Timo Berthold, Stefan Heinz |
| 2017 | CPAIOR | Experiments with Conflict Analysis in Mixed Integer Programming. | Jakob Witzig, Timo Berthold, Stefan Heinz |
| 2013 | CPAIOR | Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling. | Stefan Heinz, Wen-Yang Ku, J. Christopher Beck |
| 2012 | CPAIOR | Reconsidering Mixed Integer Programming and MIP-Based Hybrids for Scheduling. | Stefan Heinz, J. Christopher Beck |
| 2010 | CPAIOR | A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling. | Timo Berthold, Stefan Heinz, Marco E. Lbbecke, Rolf H. Mhring, Jens Schulz |
| 2009 | CPAIOR | Using Model Counting to Find Optimal Distinguishing Tests. | Stefan Heinz, Martin Sachenbacher |
| 2009 | SAT | Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?. | Timo Berthold, Stefan Heinz, Marc E. Pfetsch |
| 2008 | CPAIOR | Counting Solutions of Integer Programs Using Unrestricted Subtree Detection. | Tobias Achterberg, Stefan Heinz, Thorsten Koch |
| 2006 | WAOA | Competitive Online Multicommodity Routing. | Tobias Harks, Stefan Heinz, Marc E. Pfetsch |
| 2005 | WAOA | The Online Target Date Assignment Problem. | Stefan Heinz, Sven Oliver Krumke, Nicole Megow, Jrg Rambau, Andreas Tuchscherer, Tjark Vredeveld |