Media Name: heinz.jpg

Contact

Room
4155
Phone
+49 30 84185-428
Email

Projects

Projects as Head

Media Name: Matheon-D17_icon.png

Chip Design Verification with Constraint Integer Programming

In the design process of integrated circuits and other electronic hardware, a huge amount of time and resources is spent on the verification of the design and the final...

Chip Design Verification with Constraint Integer Programming

Projects as Member

Media Name: modal_icon_gruen.jpg

MODAL-SynLab

A major aim of the Research Campus MODAL is the development and use of mathematical synergies between the individual labs of the network. In this context, the fields of...

MODAL-SynLab
Media Name: gas.jpg

Optimization of Gas Transport

Natural gas is one of the most important energy sources in Germany and Europe. In recent years, political regulations have led to a strict separation of gas trading and...

Optimization of Gas Transport
Media Name: Matheon-D17_icon.png

Chip Design Verification with Constraint Integer Programming

In the design process of integrated circuits and other electronic hardware, a huge amount of time and resources is spent on the verification of the design and the final...

Chip Design Verification with Constraint Integer Programming
Media Name: 123many.png

Counting Solutions in the Field of Verification

In the last years the formal verification technique "property checking" was used to prove the correctness of microchip designs. This technique checks all possible input...

Counting Solutions in the Field of Verification

Publications

2020
Solving Previously Unsolved MIP Instances with ParaSCIP on Supercomputers by using up to 80,000 Cores ZIB-Report 20-16 Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler PDF
BibTeX
URN
Heinz, Dr. Stefan
2019
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) Jakob Witzig, Timo Berthold, Stefan Heinz PDF (ZIB-Report)
BibTeX
DOI
Heinz, Dr. Stefan
Computational Aspects of Infeasibility Analysis in Mixed Integer Programming ZIB-Report 19-54 Jakob Witzig, Timo Berthold, Stefan Heinz PDF
PDF
BibTeX
URN
Heinz, Dr. Stefan
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) Gerald Gamrath, Timo Berthold, Stefan Heinz, Michael Winkler PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
Heinz, Dr. Stefan
2018
ParaXpress: An Experimental Extension of the FICO Xpress-Optimizer to Solve Hard MIPs on Supercomputers Optimization Methods & Software, 33(3), pp. 530-539, 2018 Yuji Shinano, Timo Berthold, Stefan Heinz BibTeX
DOI
Heinz, Dr. Stefan
Parallelization of the FICO Xpress Optimizer Optimization Methods and Software, 33(3), pp. 518-529, 2018 Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard BibTeX
DOI
Heinz, Dr. Stefan
2017
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) Jakob Witzig, Timo Berthold, Stefan Heinz PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
Heinz, Dr. Stefan
2016
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 Yuji Shinano, Timo Berthold, Stefan Heinz BibTeX
DOI
Heinz, Dr. Stefan
Parallelization of the FICO Xpress-Optimizer Mathematical Software - ICMS 2016, 5th International Conference Berlin, Germany, July 11-14, 2016 Proceedings, pp. 251-258, 2016 Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard BibTeX
DOI
Heinz, Dr. Stefan
2015
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) Gerald Gamrath, Timo Berthold, Stefan Heinz, Michael Winkler PDF (ZIB-Report)
BibTeX
DOI
Heinz, Dr. Stefan
2014
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 ) Thomas Arnold, Timo Berthold, Stefan Heinz, Stefan Vigerske, René Henrion, Martin Grötschel, Thorsten Koch, Caren Tischendorf, Werner Römisch BibTeX
DOI
Heinz, Dr. Stefan
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 Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler BibTeX
DOI
Heinz, Dr. Stefan
2013
FiberSCIP - A shared memory parallelization of SCIP ZIB-Report 13-55 (INFORMS Journal on Computing) Yuji Shinano, Stefan Heinz, Stefan Vigerske, Michael Winkler PDF
PDF
PDF
BibTeX
URN
DOI
Heinz, Dr. Stefan
Recent improvements using constraint integer programming for resource allocation and scheduling ZIB-Report 13-05 Stefan Heinz, Wen-Yang Ku, J. Christopher Beck PDF
BibTeX
URN
Heinz, Dr. Stefan
Solving hard MIPLIB2003 problems with ParaSCIP on Supercomputers: An update ZIB-Report 13-66 Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler PDF
PDF
BibTeX
URN
Heinz, Dr. Stefan
2012
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) Timo Berthold, Ambros Gleixner, Stefan Heinz, Stefan Vigerske PDF (ZIB-Report)
BibTeX
DOI
Heinz, Dr. Stefan
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) Timo Berthold, Stefan Heinz, Stefan Vigerske PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
Heinz, Dr. Stefan
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) Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch PDF (ZIB-Report)
BibTeX
DOI
Heinz, Dr. Stefan
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) Stefan Heinz, J. Christopher Beck PDF (ZIB-Report)
BibTeX
Heinz, Dr. Stefan
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) Timo Berthold, Ambros Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano PDF (ZIB-Report)
BibTeX
Heinz, Dr. Stefan
Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite ZIB-Report 12-27 Timo Berthold, Gerald Gamrath, Ambros Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano PDF
BibTeX
URN
Heinz, Dr. Stefan
Solving steel mill slab design problems Constraints, 17(1), pp. 39-50, 2012 (preprint available as ZIB-Report 11-38) Stefan Heinz, Thomas Schlechte, Rüdiger Stephan, Michael Winkler PDF (ZIB-Report)
BibTeX
DOI
Heinz, Dr. Stefan
Using dual presolving reductions to reformulate cumulative constraints ZIB-Report 12-37 Stefan Heinz, Jens Schulz, J. Christopher Beck PDF
BibTeX
URN
Heinz, Dr. Stefan
2011
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) Timo Berthold, Stefan Heinz, Jens Schulz PDF (ZIB-Report)
BibTeX
Heinz, Dr. Stefan
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) Stefan Heinz, Jens Schulz PDF (ZIB-Report)
BibTeX
Heinz, Dr. Stefan
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) Timo Berthold, Stefan Heinz, Marc Pfetsch, Stefan Vigerske PDF (ZIB-Report)
BibTeX
Heinz, Dr. Stefan
MIPLIB 2010 Mathematical Programming Computation, 3(2), pp. 103-163, 2011 (preprint available as ZIB-Report 10-31) 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 PDF (ZIB-Report)
BibTeX
DOI
Heinz, Dr. Stefan
On the computational impact of MIQCP solver components ZIB-Report 11-01 Timo Berthold, Ambros Gleixner, Stefan Heinz, Stefan Vigerske PDF
BibTeX
URN
Heinz, Dr. Stefan
Solving Resource Allocation/Scheduling Problems with Constraint Integer Programming ZIB-Report 11-14 Stefan Heinz, J. Christopher Beck PDF
BibTeX
URN
Heinz, Dr. Stefan
2010
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) Timo Berthold, Stefan Heinz, Marco Lübbecke, Rolf Möhring, Jens Schulz PDF (ZIB-Report)
BibTeX
Heinz, Dr. Stefan
2009
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) Timo Berthold, Stefan Heinz, Marc Pfetsch PDF (ZIB-Report)
BibTeX
Heinz, Dr. Stefan
Solving Steel Mill Slab Problems with Branch and Price ZIB-Report 09-14 Stefan Heinz, Rüdiger Stephan, Thomas Schlechte PDF
BibTeX
URN
Heinz, Dr. Stefan
2008
Constraint Integer Programming: Techniques and Applications ZIB-Report 08-43 Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Kati Wolter PDF
BibTeX
URN
Heinz, Dr. Stefan
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) Tobias Achterberg, Stefan Heinz, Thorsten Koch PDF (ZIB-Report)
BibTeX
Heinz, Dr. Stefan
Solving Pseudo-Boolean Problems with SCIP ZIB-Report 08-12 Timo Berthold, Stefan Heinz, Marc Pfetsch PDF
PDF
BibTeX
URN
Heinz, Dr. Stefan
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) Stefan Heinz, Martin Sachenbacher PDF
BibTeX
URN
Heinz, Dr. Stefan
2007
Competitive Online Multicommodity Routing ZIB-Report 07-16 (Appeared in: Theory of Computing Systems 45, No. 3 (2009), 533-554) Tobias Harks, Stefan Heinz, Marc Pfetsch PDF
PDF
BibTeX
URN
Heinz, Dr. Stefan
Online Multicommodity Routing with Time Windows ZIB-Report 07-22 Tobias Harks, Stefan Heinz, Marc Pfetsch, Tjark Vredeveld PDF
BibTeX
URN
Heinz, Dr. Stefan
2006
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) Tobias Harks, Stefan Heinz, Marc Pfetsch PDF
BibTeX
URN
Heinz, Dr. Stefan
LP-Based Local Approximation for Markov Decision Problems 2006 (preprint available as ZIB-Report 06-20) Stefan Heinz, Volker Kaibel, Matthias Peinhardt, Jörg Rambau, Andreas Tuchscherer PDF (ZIB-Report)
BibTeX
Heinz, Dr. Stefan
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) Stefan Heinz, Sven Krumke, Nicole Megow, Jörg Rambau, Andreas Tuchscherer, Tjark Vredeveld PDF (ZIB-Report)
BibTeX
Heinz, Dr. Stefan
2005
Policies for Online Target Date Assignment Problems: Competitive Analysis versus Expected Performance Master's thesis, 2005 Stefan Heinz PDF
BibTeX
URN
Heinz, Dr. Stefan