@inproceedings{WitzigBertholdHeinz2019, author = {Jakob Witzig and Timo Berthold and Stefan Heinz}, title = {A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming}, booktitle = {Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2019}, volume = {11494}, pages = {84 -- 94}, doi = {10.1007/978-3-030-19212-9_6}, year = {2019}, }