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]
@inproceedings{WitzigB019,
title = {A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming},
author = {Jakob Witzig and Timo Berthold and Stefan Heinz 0001},
year = {2019},
doi = {10.1007/978-3-030-19212-9_6},
url = {https://doi.org/10.1007/978-3-030-19212-9_6},
researchr = {https://researchr.org/publication/WitzigB019},
cites = {0},
citedby = {0},
pages = {84-94},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings},
editor = {Louis-Martin Rousseau and Kostas Stergiou 0001},
volume = {11494},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-19212-9},
}