A status report on conflict analysis in mixed integer nonlinear programming

DOI10.1007/978-3-030-19212-9_6OpenAlexW2911910091MaRDI QIDQ2327241

Stefan Heinz, Timo Berthold, Jakob Witzig

Publication date: 14 October 2019

Full work available at URL: https://arxiv.org/abs/1902.02591

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (4)

Achieving consistency with cutting planes ⋮ Computational aspects of infeasibility analysis in mixed integer programming ⋮ Conflict Analysis for MINLP ⋮ Conflict-Driven Heuristics for Mixed Integer Programming

This page was built for publication: A status report on conflict analysis in mixed integer nonlinear programming