Matthias Elf

SCIL - Symbolic Constraints in Integer Linear Programming

Michael Jünger, Kurt Mehlhorn, Ernst Althaus, 2002, ESA.

Branch-and-Cut Algorithms for Combinatorial Optimization and Their Implementation in ABACUS

Michael Jünger, Giovanni Rinaldi, Matthias Elf, 2000, Computational Combinatorial Optimization.