@article{WitzigBerthold2021, author = {Jakob Witzig and Timo Berthold}, title = {Conflict Analysis for MINLP}, journal = {INFORMS Journal on Computing}, volume = {33}, number = {2}, pages = {421 -- 435}, doi = {10.1287/ijoc.2020.1050}, year = {2021}, }