TY  - RPRT
TI  - A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming
AU  - Jakob Witzig
AU  - Timo Berthold
AU  - Stefan Heinz
PY  - 2019
UR  - https://arxiv.org/abs/1902.02591
ID  - 1902.02591
ER  -