Stefan Heinz

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