Experiments with conflict analysis in mixed integer programming - Witzig, Jakob (Verfasser); Berthold, Timo (Verfasser); Heinz, Stefan (Verfasser); Zuse Institut Berlin (Herausgebendes Organ) (ZIB-Report, 2016)