@techreport{WitzigBertholdHeinz2018, author = {Jakob Witzig and Timo Berthold and Stefan Heinz}, title = {A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {18-57}, language = {eng}, year = {2018} }