Cordier, C.; Marchand, H.; Laundy, R.; Wolsey, L.A. - 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 knpsack inequalities, 0-1 gub knapsack and integer knapsack inequalities, flow-cover and continuous...