A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming

DOI10.1007/978-3-030-19212-9_6zbMath1525.90285arXiv1902.02591MaRDI QIDQ6313734

Stefan Heinz, Timo Berthold, Jakob Witzig

Publication date: 7 February 2019

Mathematics Subject Classification ID

90C11: Mixed integer programming

90C30: Nonlinear programming