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

Jakob Witzig, Timo Berthold, Stefan Heinz

Browse the full CPAIOR paper archive.