Minimizing breaks by maximizing cuts.
Oper. Res. Lett., 2003
SCIL - Symbolic Constraints in Integer Linear Programming.
Proceedings of the Algorithms, 2002
Branch-and-Cut Algorithms for Combinatorial Optimization and Their Implementation in ABACUS.
Proceedings of the Computational Combinatorial Optimization, 2001