Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB) Tobias Achterberg [email protected] Conflict Analysis in Mixed Integer Programming.
