CORDIER, Cecile; MARCHAND, Hugues; LAUNDY, Richard; … - Center for Operations Research and Econometrics (CORE), … - 1997
A branch-and-cut mixed integer programming system, called bc-opt, is described, incorporating most of the valid inequalities that have been used or suggested for such systems, namely lifted 0-1 knapsack inequalities, 0-1 gub knapsack and integer knapsack inequalities, flow cover and continuous...