Stefan Heinz

Identifiers

No identifiers captured yet.

Papers (2)

1. A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming math.OC · 2019 · author #3
2. Experiments with Conflict Analysis in Mixed Integer Programming math.OC · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Jakob Witzig 2 shared papers
• Timo Berthold 2 shared papers