Heinz, Dr. Stefan

Funktion:
Gast
Raum:
4155
Arbeitsgruppe:
Mail:
heinz
zib.de

Telefon:
+49 30 84185 - 428
Fax:
+49 30 84185 - 269
Personal website:
Publikationen
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2020 |
|||
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler | Solving Previously Unsolved MIP Instances with ParaSCIP on Supercomputers by using up to 80,000 Cores | ZIB-Report 20-16 |
PDF
BibTeX URN |
2019 |
|||
Jakob Witzig, Timo Berthold, Stefan Heinz | A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming | Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2019, pp. 84-94, Vol.11494, LNCS, 2019 (preprint available as ZIB-Report 18-57) |
PDF (ZIB-Report)
BibTeX DOI |
Jakob Witzig, Timo Berthold, Stefan Heinz | Computational Aspects of Infeasibility Analysis in Mixed Integer Programming | ZIB-Report 19-54 |
PDF
BibTeX URN |
Gerald Gamrath, Timo Berthold, Stefan Heinz, Michael Winkler | Structure-driven fix-and-propagate heuristics for mixed integer programming | Mathematical Programming Computation, 11(4), pp. 675-702, 2019 (preprint available as ZIB-Report 17-56) |
PDF (ZIB-Report)
PDF (ZIB-Report) BibTeX DOI |
2018 |
|||
Yuji Shinano, Timo Berthold, Stefan Heinz | ParaXpress: An Experimental Extension of the FICO Xpress-Optimizer to Solve Hard MIPs on Supercomputers | Optimization Methods & Software, 33(3), pp. 530-539, 2018 |
BibTeX
DOI |
Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard | Parallelization of the FICO Xpress Optimizer | Optimization Methods and Software, 33(3), pp. 518-529, 2018 |
BibTeX
DOI |
2017 |
|||
Jakob Witzig, Timo Berthold, Stefan Heinz | Experiments with Conflict Analysis in Mixed Integer Programming | Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2017, pp. 211-222, Vol.10335, LNCS, 2017 (preprint available as ZIB-Report 16-63) |
PDF (ZIB-Report)
PDF (ZIB-Report) BibTeX DOI |
2016 |
|||
Yuji Shinano, Timo Berthold, Stefan Heinz | A First Implementation of ParaXpress: Combining Internal and External Parallelization to Solve MIPs on Supercomputers | Mathematical Software - ICMS 2016, 5th International Conference Berlin, Germany, July 11-14, 2016 Proceedings, pp. 308-316, 2016 |
BibTeX
DOI |
Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard | Parallelization of the FICO Xpress-Optimizer | Mathematical Software - ICMS 2016, 5th International Conference Berlin, Germany, July 11-14, 2016 Proceedings, pp. 251-258, 2016 |
BibTeX
DOI |
2015 |
|||
Gerald Gamrath, Timo Berthold, Stefan Heinz, Michael Winkler | Structure-Based Primal Heuristics for Mixed Integer Programming | Optimization in the Real World, Springer Japan, pp. 37-53, 2015, ISBN: 978-4-431-55419-6 (preprint available as ZIB-Report 15-26) |
PDF (ZIB-Report)
BibTeX DOI |
2014 |
|||
Thomas Arnold, Timo Berthold, Stefan Heinz, Stefan Vigerske, René Henrion, Martin Grötschel, Thorsten Koch, Caren Tischendorf, Werner Römisch | A Jack of all Trades? Solving stochastic mixed-integer nonlinear constraint programs | MATHEON - Mathematics for Key Technologies, Vol.1, pp. 135-146, Peter Deuflhard, Martin Grötschel, Dietmar Hömberg, Ulrich Horst, Jürg Kramer, Volker Mehrmann, Konrad Polthier, Frank Schmidt, Christof Schütte, Martin Skutella, Jürgen Sprekels (Eds.), European Mathematical Society, 2014 (preprint available as ) |
BibTeX
DOI |
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler | Solving Hard MIPLIP2003 Problems with ParaSCIP on Supercomputers: An Update | IPDPSW'14 Proceedings of the 2014 IEEE, International Parallel & Distributed Processing Symposium Workshops, IEEE (Ed.), pp. 1552-1561, 2014, ISBN: 978-1-4799-4117-9 |
BibTeX
DOI |
2013 |
|||
Yuji Shinano, Stefan Heinz, Stefan Vigerske, Michael Winkler | FiberSCIP - A shared memory parallelization of SCIP | ZIB-Report 13-55 (INFORMS Journal on Computing) |
PDF
BibTeX URN DOI |
Stefan Heinz, Wen-Yang Ku, J. Christopher Beck | Recent improvements using constraint integer programming for resource allocation and scheduling | ZIB-Report 13-05 |
PDF
BibTeX URN |
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler | Solving hard MIPLIB2003 problems with ParaSCIP on Supercomputers: An update | ZIB-Report 13-66 |
PDF
BibTeX URN |
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Stefan Vigerske, Michael Winkler | 制約整数計画ソルバ SCIP の並列化 | ZIB-Report 13-22 |
PDF
BibTeX URN |
2012 |
|||
Timo Berthold, Ambros Gleixner, Stefan Heinz, Stefan Vigerske | Analyzing the computational impact of MIQCP solver components | Numerical Algebra, Control and Optimization, 2(4), pp. 739-748, 2012 (preprint available as ZIB-Report 13-08) |
PDF (ZIB-Report)
BibTeX DOI |
Timo Berthold, Stefan Heinz, Stefan Vigerske | Extending a CIP framework to solve MIQCPs | Mixed Integer Nonlinear Programming, Vol.154, pp. 427-444, Jon Lee, Sven Leyffer (Eds.), Springer, 2012, ISBN: 978-1-4614-1927-3 (preprint available as ZIB-Report 09-23) |
PDF (ZIB-Report)
PDF (ZIB-Report) BibTeX |
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch | ParaSCIP: a parallel extension of SCIP | Competence in High Performance Computing 2010, Christian Bischof, Heinz-Gerd Hegering, Wolfgang Nagel, Gabriel Wittum (Eds.), pp. 135-148, 2012 (preprint available as ZIB-Report 10-27) |
PDF (ZIB-Report)
BibTeX DOI |
Stefan Heinz, J. Christopher Beck | Reconsidering Mixed Integer Programming and MIP-based Hybrids for Scheduling | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2012), pp. 211-227, Vol.7298, Lectures Notes in Computer Science, 2012 (preprint available as ZIB-Report 12-05) |
PDF (ZIB-Report)
BibTeX |
Timo Berthold, Ambros Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano | SCIP Optimization Suite を利用した 混合整数(線形/非線形) 計画問題の解法 | Proceedings of the 24th RAMP symposium. The Operations Society of Japan, RAMP: Research Association of Mathematical Programming, pp. 165-192, 2012 (preprint available as ZIB-Report 12-24) |
PDF (ZIB-Report)
BibTeX |
Timo Berthold, Gerald Gamrath, Ambros 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 URN |
Stefan Heinz, Thomas Schlechte, Rüdiger Stephan, Michael Winkler | Solving steel mill slab design problems | Constraints, 17(1), pp. 39-50, 2012 (preprint available as ZIB-Report 11-38) |
PDF (ZIB-Report)
BibTeX DOI |
Stefan Heinz, Jens Schulz, J. Christopher Beck | Using dual presolving reductions to reformulate cumulative constraints | ZIB-Report 12-37 |
PDF
BibTeX URN |
2011 |
|||
Timo Berthold, Stefan Heinz, Jens Schulz | An approximative Criterion for the Potential of Energetic Reasoning | Theory and Practice of Algorithms in (Computer) Systems, pp. 229-239, Vol.6595, Lecture Notes in Computer Science, 2011 (preprint available as ZIB-Report 11-12) |
PDF (ZIB-Report)
BibTeX |
Stefan Heinz, Jens Schulz | Explanations for the Cumulative Constraint: An Experimental Study | Experimental Algorithms, pp. 400-409, Vol.6630, Lecture Notes in Computer Science, 2011 (preprint available as ZIB-Report 11-13) |
PDF (ZIB-Report)
BibTeX |
Timo Berthold, Stefan Heinz, Marc Pfetsch, Stefan Vigerske | Large Neighborhood Search beyond MIP | Proceedings of the 9th Metaheuristics International Conference (MIC 2011), pp. 51-60, 2011, ISBN: 978-88-900984-3-7 (preprint available as ZIB-Report 11-21) |
PDF (ZIB-Report)
BibTeX |
Thorsten Koch, Tobias Achterberg, Erling Andersen, Oliver Bastert, Timo Berthold, Robert E. Bixby, Emilie Danna, Gerald Gamrath, Ambros Gleixner, Stefan Heinz, Andrea Lodi, Hans Mittelmann, Ted Ralphs, Domenico Salvagnin, Daniel Steffy, Kati Wolter | MIPLIB 2010 | Mathematical Programming Computation, 3(2), pp. 103-163, 2011 (preprint available as ZIB-Report 10-31) |
PDF (ZIB-Report)
BibTeX DOI |
Timo Berthold, Ambros Gleixner, Stefan Heinz, Stefan Vigerske | On the computational impact of MIQCP solver components | ZIB-Report 11-01 |
PDF
BibTeX URN |
Stefan Heinz, J. Christopher Beck | Solving Resource Allocation/Scheduling Problems with Constraint Integer Programming | ZIB-Report 11-14 |
PDF
BibTeX URN |
2010 |
|||
Timo Berthold, Stefan Heinz, Marco Lübbecke, Rolf Möhring, Jens Schulz | A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling | Proc. of CPAIOR 2010, Andrea Lodi, Michela Milano, Paolo Toth (Eds.), pp. 313-317, Vol.6140, LNCS, 2010 (preprint available as ZIB-Report 10-03) |
PDF (ZIB-Report)
BibTeX |
2009 |
|||
Timo Berthold, Stefan Heinz, Marc Pfetsch | Nonlinear pseudo-Boolean optimization | Theory and Applications of Satisfiability Testing – SAT 2009, Oliver Kullmann (Ed.), pp. 441-446, Vol.5584, Lecture Notes in Computer Science, 2009 (preprint available as ZIB-Report 09-11) |
PDF (ZIB-Report)
BibTeX |
Stefan Heinz, Rüdiger Stephan, Thomas Schlechte | Solving Steel Mill Slab Problems with Branch and Price | ZIB-Report 09-14 |
PDF
BibTeX URN |
2008 |
|||
Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Kati Wolter | Constraint Integer Programming: Techniques and Applications | ZIB-Report 08-43 |
PDF
BibTeX URN |
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, Laurent Perron, Michael Trick (Eds.), pp. 278-282, Vol.5015, Lecture Notes in Computer Science, 2008 (preprint available as ZIB-Report 08-09) |
PDF (ZIB-Report)
BibTeX |
Timo Berthold, Stefan Heinz, Marc Pfetsch | Solving Pseudo-Boolean Problems with SCIP | ZIB-Report 08-12 |
PDF
BibTeX URN |
Stefan Heinz, Martin Sachenbacher | Using Model Counting to Find Optimal Distinguishing Tests | ZIB-Report 08-32 (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
BibTeX URN |
2007 |
|||
Tobias Harks, Stefan Heinz, Marc Pfetsch | Competitive Online Multicommodity Routing | ZIB-Report 07-16 (Appeared in: Theory of Computing Systems 45, No. 3 (2009), 533-554) |
PDF
BibTeX URN |
Tobias Harks, Stefan Heinz, Marc Pfetsch, Tjark Vredeveld | Online Multicommodity Routing with Time Windows | ZIB-Report 07-22 |
PDF
BibTeX URN |
2006 |
|||
Tobias Harks, Stefan Heinz, Marc Pfetsch | Competitive Online Multicommodity Routing | ZIB-Report 06-27 (Appeared in: T. Erlebach and C. Kaklamanis (eds.) Approximation and Online Algorithms (WAOA 2006). LNCS 4368, pp. 240-252, 2007) |
PDF
BibTeX URN |
Stefan Heinz, Volker Kaibel, Matthias Peinhardt, Jörg Rambau, Andreas Tuchscherer | LP-Based Local Approximation for Markov Decision Problems | 2006 (preprint available as ZIB-Report 06-20) |
PDF (ZIB-Report)
BibTeX |
Stefan Heinz, Sven Krumke, Nicole Megow, Jörg Rambau, Andreas Tuchscherer, Tjark Vredeveld | The Online Target Date Assignment Problem | Proc. 3rd Workshop on Approximation and Online Algorithms, Thomas Erlebach, Giuseppe Persiano (Eds.), pp. 230-243, Vol.3879, Lecture Notes in Computer Science, 2006 (preprint available as ZIB-Report 05-61) |
PDF (ZIB-Report)
BibTeX |
2005 |
|||
Stefan Heinz | Policies for Online Target Date Assignment Problems: Competitive Analysis versus Expected Performance | Master's thesis, 2005 |
PDF
BibTeX URN |