A Branch-And-CUt System (1995)

by S Thienel