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
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 E. 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 E. 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 E. 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 E. 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 E. Pfetsch, Tjark Vredeveld	Online Multicommodity Routing with Time Windows	ZIB-Report 07-22	PDF BibTeX URN
2006
Tobias Harks, Stefan Heinz, Marc E. 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