@techreport{BertholdWitzig2020, author = {Timo Berthold and Jakob Witzig}, title = {Conflict Analysis for MINLP}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {20-20}, language = {eng}, year = {2020} }