Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
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.
Pradip Bose
VTS 1998
Chidanand Apté, Fred Damerau, et al.
ACM Transactions on Information Systems (TOIS)
Reena Elangovan, Shubham Jain, et al.
ACM TODAES
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014