A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming
From MaRDI portal
Publication:6313734
DOI10.1007/978-3-030-19212-9_6zbMath1525.90285arXiv1902.02591MaRDI QIDQ6313734
Stefan Heinz, Timo Berthold, Jakob Witzig
Publication date: 7 February 2019