Branch-and-Cut Algorithms for Combinatorial Optimization and Their Implementation in ABACUS. - Matthias Elf; Carsten Gutwenger; Michael Jünger; Giovanni Rinaldi (Computational Combinatorial Optimization, 2001)

SCIL - Symbolic Constraints in Integer Linear Programming. - Ernst Althaus; Alexander Bockmayr; Matthias Elf; Michael Jünger; Thomas Kasper; Kurt Mehlhorn (ESA, 2002)

Minimizing breaks by maximizing cuts. - Matthias Elf; Michael Jünger; Giovanni Rinaldi (Oper. Res. Lett., 2003)