collaborators

1 paper

math.OC2019

A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming

Jakob Witzig, Timo Berthold, Stefan Heinz

Mixed integer nonlinear programs (MINLPs) are arguably among the hardest optimization problems, with a wide range of applications. MINLP solvers that are based on linear relaxation…