Stefan Heinz

According to our database, Stefan Heinz authored at least 26 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2021

Computational aspects of infeasibility analysis in mixed integer programming.

Jakob Witzig, Timo Berthold, Stefan Heinz

Math. Program. Comput., 2021

2019

Structure-driven fix-and-propagate heuristics for mixed integer programming.

Gerald Gamrath, Timo Berthold, Stefan Heinz, Michael Winkler

Math. Program. Comput., 2019

A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming.

Jakob Witzig, Timo Berthold, Stefan Heinz

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2018

Presolving techniques and linear relaxations for cumulative scheduling.

Stefan Heinz

PhD thesis, 2018

ParaXpress: an experimental extension of the FICO Xpress-Optimizer to solve hard MIPs on supercomputers.

Yuji Shinano, Timo Berthold, Stefan Heinz

Optim. Methods Softw., 2018

Parallelization of the FICO Xpress-Optimizer.

Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard

Optim. Methods Softw., 2018

FiberSCIP - A Shared Memory Parallelization of SCIP.

Yuji Shinano, Stefan Heinz, Stefan Vigerske, Michael Winkler

INFORMS J. Comput., 2018

2017

Experiments with Conflict Analysis in Mixed Integer Programming.

Jakob Witzig, Timo Berthold, Stefan Heinz

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

2016

Solving Open MIP Instances with ParaSCIP on Supercomputers Using up to 80, 000 Cores.

Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016

A First Implementation of ParaXpress: Combining Internal and External Parallelization to Solve MIPs on Supercomputers.

Yuji Shinano, Timo Berthold, Stefan Heinz

Proceedings of the Mathematical Software - ICMS 2016, 2016

2014

Computational bounds for elevator control policies by large scale linear programming.

Stefan Heinz, Jörg Rambau, Andreas Tuchscherer

Math. Methods Oper. Res., 2014

Solving Hard MIPLIB2003 Problems with ParaSCIP on Supercomputers: An Update.

Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler

Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

2013

Using dual presolving reductions to reformulate cumulative constraints.

Stefan Heinz, Jens Schulz, J. Christopher Beck

Constraints An Int. J., 2013

Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling.

Stefan Heinz, Wen-Yang Ku, J. Christopher Beck

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

2012

Solving steel mill slab design problems.

Stefan Heinz, Thomas Schlechte, Rüdiger Stephan, Michael Winkler

Constraints An Int. J., 2012

Reconsidering Mixed Integer Programming and MIP-Based Hybrids for Scheduling.

Stefan Heinz, J. Christopher Beck

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

2011

MIPLIB 2010.

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

Math. Program. Comput., 2011

Explanations for the Cumulative Constraint: An Experimental Study.

Stefan Heinz, Jens Schulz

Proceedings of the Experimental Algorithms - 10th International Symposium, 2011

An Approximative Criterion for the Potential of Energetic Reasoning.

Timo Berthold, Stefan Heinz, Jens Schulz

Proceedings of the Theory and Practice of Algorithms in (Computer) Systems, 2011

2010

A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling.

Timo Berthold, Stefan Heinz, Marco E. Lübbecke, Rolf H. Möhring, Jens Schulz

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

ParaSCIP: A Parallel Extension of SCIP.

Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch

Proceedings of the Competence in High Performance Computing 2010, 2010

2009

Competitive Online Multicommodity Routing.

Tobias Harks, Stefan Heinz, Marc E. Pfetsch

Theory Comput. Syst., 2009

Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?.

Timo Berthold, Stefan Heinz, Marc E. Pfetsch

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Using Model Counting to Find Optimal Distinguishing Tests.

Stefan Heinz, Martin Sachenbacher

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

2008

Counting Solutions of Integer Programs Using Unrestricted Subtree Detection.

Tobias Achterberg, Stefan Heinz, Thorsten Koch

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2005

The Online Target Date Assignment Problem.

Stefan Heinz, Sven Oliver Krumke, Nicole Megow, Jörg Rambau, Andreas Tuchscherer, Tjark Vredeveld

Proceedings of the Approximation and Online Algorithms, Third International Workshop, 2005