A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming

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]

Authors

Jakob Witzig

This author has not been identified. Look up 'Jakob Witzig' in Google

Timo Berthold

This author has not been identified. Look up 'Timo Berthold' in Google

Stefan Heinz 0001

This author has not been identified. Look up 'Stefan Heinz 0001' in Google