@article{WitzigGleixner2020, author = {Jakob Witzig and Ambros Gleixner}, title = {Conflict-Driven Heuristics for Mixed Integer Programming}, journal = {INFORMS Journal on Computing}, volume = {33}, number = {2}, pages = {706 -- 720}, doi = {10.1287/ijoc.2020.0973}, year = {2020}, }