Skip to main content
Home
  • Impressum und Datenschutz
  • English
  • Deutsch
Print
-A +A
  • Research
    • Solutions for Individualized Medicine
    • Molecular and Biological Processes
    • Materials and Optical Processes
    • Combinatorics and MINLP
    • MSO for Multiscale Systems
    • Robust Solutions under Uncertainty
    • Digital Humanities
    • Efficient Infrastructure and Logistics
    • Large-Scale Data Management, Curation & Analysis
    • Highly Parallel Computing
    • Scalable and Fault-Tolerant Algorithms
    • Publications
    • Books
    • Features
  • Institute
    • Research Campus MODAL
    • Intel oneAPI CoE
    • Joint Lab Optics
    • Oracle Center of Excellence
    • Organization
    • Organizational Chart
    • Committees and Regulations
    • Spin-Offs
    • Konrad Zuse
    • Hall of Fame
  • Research Services
    • NHR Center at ZIB
    • Supercomputing
    • Data Archive
    • KOBV
    • BRAIN
    • Software
    • Room Reservation
    • Library
  • Members
  • Training & Outreach
    • Graduate Students
    • Scholarships
    • Lectures
    • Trainee Openings
    • Schools
    • Press
    • Public Events
    • Guided Tours
    • Alumni
    • Topics for theses
  • Contact
Home  |  Members  |  Heinz, Dr. Stefan

Heinz, Dr. Stefan

Position: 
Guest
Room: 
4155
Division: 
Mathematical Algorithmic Intelligence
Department: 
AI in Society, Science, and Technology (AIS²T)
Research group: 
Mathematical Optimization Methods
Mail: 
heinzzib.de
Phone: 
+49 30 84185 - 428
Fax: 
+49 30 84185 - 269
Personal website: 
http://www.zib.de/heinz

Projects

Head

Chip Design Verification with Constraint Integer Programming

Member

Counting Solutions in the Field of Verification
MODAL-SynLab
Optimization of Gas Transport
Chip Design Verification with Constraint Integer Programming

Publications

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
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
PDF
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
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
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
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
  • Research
    • Solutions for Individualized Medicine
    • Molecular and Biological Processes
    • Materials and Optical Processes
    • Combinatorics and MINLP
    • MSO for Multiscale Systems
    • Robust Solutions under Uncertainty
    • Digital Humanities
    • Efficient Infrastructure and Logistics
    • Large-Scale Data Management, Curation & Analysis
    • Highly Parallel Computing
    • Scalable and Fault-Tolerant Algorithms
    • Publications
    • Books
    • Features
  • Institute
    • Research Campus MODAL
    • Intel oneAPI CoE
    • Joint Lab Optics
    • Oracle Center of Excellence
    • Organization
    • Organizational Chart
    • Committees and Regulations
    • Spin-Offs
    • Konrad Zuse
    • Hall of Fame
  • Research Services
    • NHR Center at ZIB
    • Supercomputing
    • Data Archive
    • KOBV
    • BRAIN
    • Software
    • Room Reservation
    • Library
  • Members
  • Training & Outreach
    • Graduate Students
    • Scholarships
    • Lectures
    • Trainee Openings
    • Schools
    • Press
    • Public Events
    • Guided Tours
    • Alumni
    • Topics for theses
  • Contact