Embedding {0, ½}-Cuts in a Branch-and-Cut Framework: A Computational Study
INFORMS Journal on Computing
Counting solutions of knapsack constraints
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Faster integer-feasibility in mixed-integer linear programs by branching to force change
Computers and Operations Research
Operations Research Letters
Hi-index | 0.00 |
The paper investigates the relationship between counting the lattice points belonging to an hyperplane and the separation of Chvátal-Gomory cutting planes. In particular, we show that counting can be exploited in two ways: (i) to strengthen the cuts separated, e.g., by Gomory classical procedure, and (ii) to heuristically evaluate the effectiveness of those cuts and possibly select only a subset of them. Empirical results on a small set of 0-1 Integer Programming instances are presented.