@techreport{WitzigGleixner2019, author = {Jakob Witzig and Ambros Gleixner}, title = {Conflict-Driven Heuristics for Mixed Integer Programming}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {19-08}, language = {eng}, year = {2019} }