The design of the branch and cut system ABACUS (1997)

by M Jünger, S Thienel