Stefan Heinz - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2017

Experiments with Conflict Analysis in Mixed Integer ProgrammingJakob Witzig, Timo Berthold, Stefan Heinz. cpaior 2017: 211-220 [doi]

2016

2014

Uncertainty quantification of world population growth: A self-similar PDF modelStefan Heinz. mcma, 20(4):261-277, 2014. [doi]

Computational bounds for elevator control policies by large scale linear programmingStefan Heinz, Jörg Rambau, Andreas Tuchscherer. mmor, 79(1):87-117, 2014. [doi]

Solving Hard MIPLIB2003 Problems with ParaSCIP on Supercomputers: An UpdateYuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler. ipps 2014: 1552-1561 [doi]

2013

A unified RANS-LES model: Computational development, accuracy and costHarish Gopalan, Stefan Heinz, Michael Stöllinger. jcphy, 249:249-274, 2013. [doi]

Recent Improvements Using Constraint Integer Programming for Resource Allocation and SchedulingStefan Heinz, Wen-Yang Ku, J. Christopher Beck. cpaior 2013: 12-27 [doi]

Using dual presolving reductions to reformulate cumulative constraintsStefan Heinz, Jens Schulz, J. Christopher Beck. constraints, 18(2):166-201, 2013. [doi]

2012

Solving steel mill slab design problemsStefan Heinz, Thomas Schlechte, Rüdiger Stephan, Michael Winkler. constraints, 17(1):39-50, 2012. [doi]

Reconsidering Mixed Integer Programming and MIP-Based Hybrids for SchedulingStefan Heinz, J. Christopher Beck. cpaior 2012: 211-227 [doi]

2011

2010

A Constraint Integer Programming Approach for Resource-Constrained Project SchedulingTimo Berthold, Stefan Heinz, Marco E. Lübbecke, Rolf H. Möhring, Jens Schulz. cpaior 2010: 313-317 [doi]

A solution algorithm for the fluid dynamic equations based on a stochastic model for molecular motionPatrick Jenny, Manuel Torrilhon, Stefan Heinz. jcphy, 229(4):1077-1098, 2010. [doi]

2009

Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?Timo Berthold, Stefan Heinz, Marc E. Pfetsch. sat 2009: 441-446 [doi]

Competitive Online Multicommodity RoutingTobias Harks, Stefan Heinz, Marc E. Pfetsch. mst, 45(3):533-554, 2009. [doi]

Using Model Counting to Find Optimal Distinguishing TestsStefan Heinz, Martin Sachenbacher. cpaior 2009: 117-131 [doi]

2008

Counting Solutions of Integer Programs Using Unrestricted Subtree DetectionTobias Achterberg, Stefan Heinz, Thorsten Koch. cpaior 2008: 278-282 [doi]

Realizability of dynamic subgrid-scale stress models via stochastic analysisStefan Heinz. mcma, 14(4):311-329, 2008. [doi]

PDF modeling and simulation of premixed turbulent combustionMichael Stöllinger, Stefan Heinz. mcma, 14(4):343-377, 2008. [doi]

2006

Competitive Online Multicommodity RoutingTobias Harks, Stefan Heinz, Marc E. Pfetsch. waoa 2006: 240-252 [doi]

2005

The Online Target Date Assignment ProblemStefan Heinz, Sven Oliver Krumke, Nicole Megow, Jörg Rambau, Andreas Tuchscherer, Tjark Vredeveld. waoa 2006: 230-243 [doi]

Sign in or sign up to see more results.

runs on WebDSL