@techreport{Witzig2017, author = {Jakob Witzig}, title = {Conflict Driven Diving for Mixed Integer Programming}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {17-69}, language = {eng}, year = {2017} }