ABACUS—A Branch-and-Cut System (1995)

by S Thienel