Rolf Clauberg
IBM J. Res. Dev
We show how clique and cover induced inequalities implied from 0-1 knapsack constraints can be obtained as Chvatal-Gomory inequalities. LP tighter and 0-1 equivalent constraints to 0-1 knapsack constraints obtained by the 'big M' reduction procedure can also be generated as Chvatal-Gomory inequalities. We also show how some extended coefficient reduction based LP tighter and 0-1 equivalent constraints can be generated as Gomory fractional cuts. © 1994.
Rolf Clauberg
IBM J. Res. Dev
Eric Price, David P. Woodruff
FOCS 2011
Yao Qi, Raja Das, et al.
ISSTA 2009
Liat Ein-Dor, Y. Goldschmidt, et al.
IBM J. Res. Dev