Stefan Heinz

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 10

Top Venues

CPAIOR

Constraints An Int. J.

ICMS

Optim. Methods Softw.

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Jakob Witzig, Timo Berthold, Stefan Heinz
Computational aspects of infeasibility analysis in mixed integer programming. Math. Program. Comput. 13 (4) (2021)
Jakob Witzig, Timo Berthold, Stefan Heinz
A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming. CPAIOR (2019)
Gerald Gamrath, Timo Berthold, Stefan Heinz, Michael Winkler
Structure-driven fix-and-propagate heuristics for mixed integer programming. Math. Program. Comput. 11 (4) (2019)
Yuji Shinano, Timo Berthold, Stefan Heinz
ParaXpress: an experimental extension of the FICO Xpress-Optimizer to solve hard MIPs on supercomputers. Optim. Methods Softw. 33 (3) (2018)
Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard
Parallelization of the FICO Xpress-Optimizer. Optim. Methods Softw. 33 (3) (2018)
Yuji Shinano, Stefan Heinz, Stefan Vigerske, Michael Winkler
FiberSCIP - A Shared Memory Parallelization of SCIP. INFORMS J. Comput. 30 (1) (2018)
Jakob Witzig, Timo Berthold, Stefan Heinz
Experiments with Conflict Analysis in Mixed Integer Programming. CPAIOR (2017)
Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard
Parallelization of the FICO Xpress-Optimizer. ICMS (2016)
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler
Solving Open MIP Instances with ParaSCIP on Supercomputers Using up to 80, 000 Cores. IPDPS (2016)
Yuji Shinano, Timo Berthold, Stefan Heinz
A First Implementation of ParaXpress: Combining Internal and External Parallelization to Solve MIPs on Supercomputers. ICMS (2016)
Stefan Heinz, Jörg Rambau, Andreas Tuchscherer
Computational bounds for elevator control policies by large scale linear programming. Math. Methods Oper. Res. 79 (1) (2014)
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler
Solving Hard MIPLIB2003 Problems with ParaSCIP on Supercomputers: An Update. IPDPS Workshops (2014)
Stefan Heinz, Jens Schulz, J. Christopher Beck
Using dual presolving reductions to reformulate cumulative constraints. Constraints An Int. J. 18 (2) (2013)
Stefan Heinz, Wen-Yang Ku, J. Christopher Beck
Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling. CPAIOR (2013)
Stefan Heinz, Thomas Schlechte, Rüdiger Stephan, Michael Winkler
Solving steel mill slab design problems. Constraints An Int. J. 17 (1) (2012)
Stefan Heinz, J. Christopher Beck
Reconsidering Mixed Integer Programming and MIP-Based Hybrids for Scheduling. CPAIOR (2012)
Stefan Heinz, Jens Schulz
Explanations for the Cumulative Constraint: An Experimental Study. SEA (2011)
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 D. Mittelmann, Ted K. Ralphs, Domenico Salvagnin, Daniel E. Steffy, Kati Wolter
MIPLIB 2010. Math. Program. Comput. 3 (2) (2011)
Timo Berthold, Stefan Heinz, Jens Schulz
An Approximative Criterion for the Potential of Energetic Reasoning. TAPAS (2011)
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch
ParaSCIP: A Parallel Extension of SCIP. CHPC (2010)
Timo Berthold, Stefan Heinz, Marco E. Lübbecke, Rolf H. Möhring, Jens Schulz
A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling. CPAIOR (2010)
Timo Berthold, Stefan Heinz, Marc E. Pfetsch
Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?. SAT (2009)
Tobias Harks, Stefan Heinz, Marc E. Pfetsch
Competitive Online Multicommodity Routing. Theory Comput. Syst. 45 (3) (2009)
Stefan Heinz, Martin Sachenbacher
Using Model Counting to Find Optimal Distinguishing Tests. CPAIOR (2009)
Tobias Achterberg, Stefan Heinz, Thorsten Koch
Counting Solutions of Integer Programs Using Unrestricted Subtree Detection. CPAIOR (2008)
Tobias Harks, Stefan Heinz, Marc E. Pfetsch
Competitive Online Multicommodity Routing. WAOA (2006)
Stefan Heinz, Sven Oliver Krumke, Nicole Megow, Jörg Rambau, Andreas Tuchscherer, Tjark Vredeveld
The Online Target Date Assignment Problem. WAOA (2005)

Stefan Heinz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Heinz