Conflict analysis in mixed integer programming - Achterberg, Tobias (ZIB-report, 2005)