Sharp Logarithmic Thresholds for Cut Schedules in an Abstract Branch-and-Cut Model

Hongyi Jiang

Branch-and-cut interleaves branching with cutting-plane generation. How the two operations share the work of proving a bound is a basic theoretical question. We study an abstract m…