Introduction to ABACUS—a branch-and-cut system (1998)

by M Jünger, S Thienel
Venue:Operations Research Letters