Stefan Heinz 09-February-2012

Home Publications

Thesis

• Policies for Online Target Date Assignment Problems: Competitive Analysis versus Expected Performance [bibtex]
  Diploma Thesis, Technische Universität Berlin, December 2005.

Submitted

• ParaSCIP – a parallel extension of SCIP [bibtex]
  ZIB Report 10-27.
  (Together with Yuji Shinano, Tobias Achterberg, Timo Berthold and Thorsten Koch)
• Online Multicommodity Routing with Time Windows [bibtex]
  ZIB Report 07-22.
  (Together with Tobias Harks, Marc E. Pfetsch, and Tjark Vredeveld)

Published

• Solving steel mill slab problems [bibtex]
  Constraints (Letter), Volume 17, Number 1, pp 39-50. 2012;
  ZIB Report 11-38.
  (Together with Thomas Schlechte, Rüdiger Stephan, and Michael Winkler)
• Extending a CIP framework to solve MIQCPs [bibtex]
  J. Lee and S. Leyffer (Eds.) Mixed Integer Nonlinear Programming, The IMA Volumes in Mathematics and its Applications, Volume 154, pp 427-444. 2011;
  ZIB Report 09-23.
  (Together with Timo Berthold and Stefan Vigerske)
• MIPLIB 2010 [bibtex]
  Mathematical Programming Computation, Volume 3, Number 2, pp 103-163. 2011;
  ZIB Report 10-31.
  (Together with Thorsten Koch, Tobias Achterberg, Erling Andersen, Oliver Bastert, Timo Berthold, Robert E. Bixby, Emilie Danna, Gerald Gamrath, Ambros M. Gleixner, Andrea Lodi, Hans Mittelmann, Ted Ralphs, Domenico Salvagnin, Daniel E. Steffy, and Kati Wolter)
• Solving Resource Allocation/Scheduling Problems with Constraint Integer Programming [bibtex]
  In: M.A. Salido, R. Bartak and N. Policella (Eds.) Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2011), pp. 23-30, 2011;
  ZIB Report 11-14.
  (Together with Chris Beck)
• Explanations for the Cumulative Constraint: An Experimental Study [bibtex]
  In: P.M. Pardalos and S. Rebennack (Eds.), Experimental Algorithms – SEA 2011, LNCS 6630, pp. 400-409, 2011;
  ZIB Report 11-13.
  (Together with Jens Schulz)
• An approximative Criterion for the Potential of Energetic Reasoning [bibtex]
  In: A.Marchetti-Spaccamela and M. Segal (Eds.), Theory and Practice of Algorithms in (Computer) Systems (TAPAS 2011), LNCS 6595, pp. 229-239, 2011;
  ZIB Report 11-12.
  (Together with Timo Berthold and Jens Schulz)
• A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling [bibtex]
  In: A. Lodi, M. Milano, and P. Toth (Eds.), Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2010), LNCS 6140, pp. 313-317, 2010;
  ZIB Report 10-03.
  (Together with Timo Berthold and Marco Lübbecke, Rolf H. Möhring, and Jens Schulz)
• Nonlinear pseudo-Boolean optimization: relaxation or propagation? [bibtex]
  In: O. Kullmann (Ed.), Theory and Applications of Satisfiability Testing – SAT 2009, LNCS 5584, pp. 441-446, 2009;
  ZIB Report 09-11.
  (Together with Timo Berthold and Marc E. Pfetsch)
• Using Model Counting to Find Optimal Distinguishing Tests [bibtex]
  In: W.-J. Hoeve and J.N. Hooker (Eds.), Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2009), LNCS 5547, pp. 117-131, 2009;
  ZIB Report 08-32.
  (Together with Martin Sachenbacher)
• Competitive Online Multicommodity Routing (Journal Version) [bibtex]
  Theory of Computing Systems, Volume 45, Number 3, pp 533-554. 2009;
  ZIB Report 07-16.
  (Together with Tobias Harks and Marc E. Pfetsch)
• Counting solutions of integer programs using unrestricted subtree detection [bibtex]
  In: L. Perron and M. Trick (Eds.), Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008), LNCS 5015, pp. 278-282, 2008;
  ZIB Report 08-09.
  (Together with Tobias Achterberg and Thorsten Koch)
• Competitive Online Multicommodity Routing [bibtex]
  In: T. Erlebach and C. Kaklamanis (Eds.), Approximation and Online Algorithms (WAOA 2006), LNCS 4368, pp. 240-252, 2007;
  ZIB Report 06-27.
  (Together with Tobias Harks and Marc E. Pfetsch)
• The Online Target Date Assignment Problem [bibtex]
  In: T. Erlebach and G. Persiano (Eds.), Approximation and Online Algorithms (WAOA 2005), LNCS 3879, pp. 230-243, 2006;
  ZIB Report 05-61.
  (Together with Sven O. Krumke, Nicole Megow, Jörg Rambau, Andreas Tuchscherer, and Tjark Vredeveld)
  

Unpublished Reports

• On the computational impact of MIQCP solver components [bibtex]
  ZIB Report 11-01.
  (Together with Timo Berthold, Ambros M. Gleixner, and Stefan Vigerske)
• Solving Steel Mill Slab Problems with Branch-and-Price [bibtex]
  ZIB Report 09-14.
  (Together with Thomas Schlechte and Rüdiger Stephan)
• Constraint Integer Programming: Techniques and Applications [bibtex]
  ZIB Report 08-43.
  (Together with Tobias Achterberg, Timo Berthold, Thorsten Koch, and Kati Wolter)
• Solving Pseudo-Boolean Problems with scip [bibtex]
  ZIB Report 08-12.
  (Together with Timo Berthold and Marc E. Pfetsch)
• LP-Based Local Approximation for Markov Decision Problems [bibtex]
  ZIB Report 06-20.
  (Together with Volker Kaibel, Matthias Peinhardt, Jörg Rambau, and Andreas Tuchscherer)

Miscellaneous

• A Survey: Greedy-Färbung und Verwandtes (German)

Copyright notice

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Last modified: Saturday, 21-January-2012 09:47:57 AM CET