Jakob Witzig, Timo Berthold, Stefan Heinz 0001. A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming. In Louis-Martin Rousseau, Kostas Stergiou 0001, editors, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings. Volume 11494 of Lecture Notes in Computer Science, pages 84-94, Springer, 2019. [doi]