Stefan Heinz - Mitarbeiter
URL: Personal Homepage
Zuse-Institut Berlin (ZIB)
Bereich Diskrete Mathematik
Abteilung Optimierung
Takustr. 7
D-14195 Berlin-Dahlem
Germany
Email: heinz
zib.de
Telefon: +49 30 84185-428
Fax: +49 30 84185-269
Raum: 3105
Bereich Diskrete Mathematik
Abteilung Optimierung
Takustr. 7
D-14195 Berlin-Dahlem
Germany
Email: heinz
zib.deTelefon: +49 30 84185-428
Fax: +49 30 84185-269
Raum: 3105
Publikationen
2013 |
|||
| Timo Berthold, Ambros Gleixner, Stefan Heinz, Stefan Vigerske | Analyzing the computational impact of MIQCP solver components | Appeared in: Numerical Algebra, Control and Optimization vol. 2, no. 4 (2012) pp. 739-748, | PDF (Preprint) DOI BibTex | RIS |
| Stefan Heinz, Wen-Yang Ku, Christopher Beck | Recent improvements using constraint integer programming for resource allocation and scheduling | ZIB-Report 13-05 | PDF BibTex | RIS |
2012 |
|||
| Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch | ParaSCIP -- a parallel extension of SCIP | Competence in High Performance Computing 2010, February, Christian Bischof, Heinz-Gerd Hegering, Wolfgang E. Nagel, Gabriel Wittum (Eds.), pp. 135-148, Springer, 2012 | PDF (Preprint) BibTex | RIS |
| Stefan Heinz, Christopher Beck | Reconsidering Mixed Integer Programming and MIP-based Hybrids for Scheduling | App. in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2012), Springer 2012. Lecture Notes in Computer Science, 7298, pp. 211-227, | PDF (Preprint) BibTex | RIS |
| Timo Berthold, Ambros M. Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano | SCIP Optimization Suite を利用した 混合整数(線形/非線形) 計画問題の解法 | Appeared in: Proceedings of the 24th RAMP symposium. The Operations Society of Japan, RAMP: Research Association of Mathematical Programming. Masakazu Muramatsu (ed. ) 2012, pp. 165-192, | PDF (Preprint) BibTex | RIS |
| Timo Berthold, Gerald Gamrath, Ambros M. Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano | Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite | ZIB-Report 12-27 | PDF BibTex | RIS |
| Stefan Heinz, Jens Schulz, Christopher Beck | Using dual presolving reductions to reformulate cumulative constraints | ZIB-Report 12-37 | PDF BibTex | RIS |
2011 |
|||
| Timo Berthold, Stefan Heinz, Jens Schulz | An approximative Criterion for the Potential of Energetic Reasoning | Appeared in: Theory and Practice of Algorithms in (Computer) Systems, Alberto Marchetti-Spaccamela and Michael Segal (eds.) Springer 2011, LNCS 6595, pp. 229-239, | PDF (Preprint) BibTex | RIS |
| Stefan Heinz, Jens Schulz | Explanations for the Cumulative Constraint: an Experimental Study | Experimental Algorithms, Panos M. Pardalos und Steffen Rebennack (eds.) Springer 2011, LNCS 6630, pp. 400-409 , | PDF (Preprint) BibTex | RIS |
| Timo Berthold, Stefan Heinz, Marc E. Pfetsch, Stefan Vigerske | Large Neighborhood Search beyond MIP | Appeared in: Proceedings of the 9th Metaheuristics International Conference (MIC 2011). 2011. Luca di Gaspar et al. eds. ISBN 978-88-900984-3-7, pp. 51-60, | PDF (Preprint) BibTex | RIS |
| 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 Mittelmann, Ted Ralphs, Domenico Salvagnin, Daniel E. Steffy, Kati Wolter | MIPLIB 2010 | Mathematical Programming Computation, Vol. 3, No. 2, pp. 103-163, 2011 | PDF (Preprint) DOI BibTex | RIS |
| Timo Berthold, Ambros M. Gleixner, Stefan Heinz, Stefan Vigerske | On the computational impact of MIQCP solver components | ZIB-Report 11-01 | PDF BibTex | RIS |
| Stefan Heinz, Christopher Beck | Solving Resource Allocation/Scheduling Problems with Constraint Integer Programming | ZIB-Report 11-14 | PDF BibTex | RIS |
| Stefan Heinz, Thomas Schlechte, Rüdiger Stephan, Michael Winkler | Solving steel mill slab design problems | App. in: Constraints 17 (2012) 39-50 DOI 10.1007/s10601-011-9113-8, | PDF (Preprint) BibTex | RIS |
2010 |
|||
| Timo Berthold, Stefan Heinz, Marco Lübbecke, Rolf H. Möhring, Jens Schulz | A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling | Proc. of CPAIOR 2010, LNCS, June, Andrea Lodi, Michela Milano, Paolo Toth (Eds.), Vol. 6140, pp. 313-317, Springer, 2010 | PDF (Preprint) BibTex | RIS |
2009 |
|||
| Timo Berthold, Stefan Heinz, Stefan Vigerske | Extending a CIP framework to solve MIQCPs | App. in: Mixed Integer Nonlinear Programming. Jon Lee, Sven Leyffer (eds.) The IMA Volumes in Mathematics and its Applications, 154. Springer 2011, pp. 427-444, | PDF (Preprint) PDF (Preprint) BibTex | RIS |
| Timo Berthold, Stefan Heinz, Marc E. Pfetsch | Nonlinear pseudo-Boolean optimization: relaxation or propagation? | Theory and Applications of Satisfiability Testing -- SAT 2009, Lecture Notes in Computer Science, July, Oliver Kullmann (Ed.), Vol. 5584, pp. 441-446, Springer, 2009 | PDF (Preprint) BibTex | RIS |
| Stefan Heinz, Rüdiger Stephan, Thomas Schlechte | Solving Steel Mill Slab Problems with Branch and Price | ZIB-Report 09-14 | PDF BibTex | RIS |
2008 |
|||
| Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Kati Wolter | Constraint Integer Programming: Techniques and Applications | ZIB-Report 08-43 | PDF BibTex | RIS |
| Tobias Achterberg, Stefan Heinz, Thorsten Koch | Counting Solutions of Integer Programs Using Unrestricted Subtree Detection | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Lecture Notes in Computer Science, may, Laurent Perron, Michael A. Trick (Eds.), Vol. 5015, pp. 278-282, Springer, 2008 | PDF (Preprint) BibTex | RIS |
| Timo Berthold, Stefan Heinz, Marc E. Pfetsch | Solving Pseudo-Boolean Problems with SCIP | ZIB-Report 08-12 | PDF BibTex | RIS |
| Stefan Heinz, Martin Sachenbacher | Using Model Counting to Find Optimal Distinguishing Tests | Appeared in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 6th International Conference, CPAIOR 2009, Lecture Notes in Computer Science 5547, pp. 117-131, 2009, | PDF (Preprint) BibTex | RIS |
2007 |
|||
| Tobias Harks, Stefan Heinz, Marc E. Pfetsch | Competitive Online Multicommodity Routing | Appeared in: Theory of Computing Systems 45, No. 3 (2009), 533-554, | PDF (Preprint) PDF (Preprint) BibTex | RIS |
| Tobias Harks, Stefan Heinz, Marc E. Pfetsch, Tjark Vredeveld | Online Multicommodity Routing with Time Windows | ZIB-Report 07-22 | PDF BibTex | RIS |
2006 |
|||
| Stefan Heinz, Volker Kaibel, Matthias Peinhardt, Jörg Rambau, Andreas Tuchscherer | LP-Based Local Approximation for Markov Decision Problems | Matheon, 2006 | PDF (Preprint) BibTex | RIS |
| Stefan Heinz, Sven O. Krumke, Nicole Megow, Jörg Rambau, Andreas Tuchscherer, Tjark Vredeveld | The Online Target Date Assignment Problem | Proc. 3rd Workshop on Approximation and Online Algorithms, Lecture Notes in Computer Science, Thomas Erlebach, Giuseppe Persiano (Eds.), Vol. 3879, pp. 230-243, Springer, 2006 | PDF (Preprint) BibTex | RIS |
2005 |
|||
| Stefan Heinz | Policies for Online Target Date Assignment Problems: Competitive Analysis versus Expected Performance | Diploma thesis, 2005 | PDF BibTex | RIS |