Conflict-driven heuristics for mixed integer programming - Witzig, Jakob (Verfasser); Gleixner, Ambros M. (Verfasser); Zuse Institut Berlin (Herausgebendes Organ) (ZIB Report, 2019)