Stefan Heinz

Home Publications

Thesis

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

Published

2013

• Recent improvements using constraint integer programming for resource allocation and scheduling [bibtex]
  accepted for CPAIOR 2013;
  ZIB Report 13-05.
  (Together with Wen-Yang Ku and Chris Beck)
• Using dual presolving reductions to reformulate cumulative constraints [bibtex]
  accepted for Constraints;
  ZIB Report 12-37.
  (Together with Jens Schulz and Chris Beck)

2012

• SCIP Optimization Suite を利用した 混合整数(線形/非線形) 計画問題の解法 [bibtex]
  Masakazu Muramatsu (Ed.), Proceedings of the Twenty-Forth RAMP symposium, The Operations Research Society of Japan (RAMP: Research Association of Mathematical Programming), pp 165-192. 2012;
  ZIB Report 12-24.
  (Together with Timo Berthold, Ambros M. Gleixner, Thorsten Koch, and Yuji Shinano)
• ParaSCIP – a parallel extension of SCIP [bibtex]
  C. Bischof, H-G. Hegering, W.E. Nagel, G. Wittum (Eds), Competence in High Performance Computing 2010, pp 135--148. 2012;
  ZIB Report 10-27.
  (Together with Yuji Shinano, Tobias Achterberg, Timo Berthold and Thorsten Koch)
• Reconsidering Mixed Integer Programming and MIP-based Hybrids for Scheduling [bibtex]
  In: N. Beldiceanu and N. Jussien and É. Pinson (Eds.), Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2012), LNCS 7298, pp. 211-227, 2010;
  ZIB Report 12-05.
  (Together with Chris Beck)
• 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. 2012;
  ZIB Report 09-23.
  (Together with Timo Berthold and Stefan Vigerske)

2011

• 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)
• Large Neighborhood Search beyond MIP [bibtex]
  In: L.D. Gaspero, and A. Schaerf and T. Stützle (Eds.) Proceedings of the 9th Metaheuristics International Conference (MIC 2011), pp. 51-60, 2011;
  ZIB Report 11-14.
  (Together with Timo Berthold, Marc E. Pfetsch, and Stefan Vigerske)
• 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)

2010

• 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)

2009

• 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)

2008

• 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)

2006

• 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)

2005

• 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)
• Online Multicommodity Routing with Time Windows [bibtex]
  ZIB Report 07-22.
  (Together with Tobias Harks, Marc E. Pfetsch, and Tjark Vredeveld)
• 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: