Slide 1 Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB) Tobias Achterberg [email protected] Conflict Analysis in Mixed Integer Programming Slide 2 2 Main Idea …
