Stefan Heinz 0001
8 publications
2 venues
H Index 6
Links
| Name | Venue | Year | citations |
|---|---|---|---|
A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming.
|
CPAIOR | 2019 | 1 |
| Experiments with Conflict Analysis in Mixed Integer Programming.
|
CPAIOR | 2017 | 0 |
| Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling.
|
CPAIOR | 2013 | 24 |
| Reconsidering Mixed Integer Programming and MIP-Based Hybrids for Scheduling.
|
CPAIOR | 2012 | 16 |
| A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling.
|
CPAIOR | 2010 | 47 |
| Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?.
|
SAT | 2009 | 27 |
| Using Model Counting to Find Optimal Distinguishing Tests.
|
CPAIOR | 2009 | 12 |
| Counting Solutions of Integer Programs Using Unrestricted Subtree Detection.
|
CPAIOR | 2008 | 21 |