Logic-based Benders balancing cuts

Reformulation, linearization, and decomposition techniques for balanced distributed operating room scheduling

We study the balanced distributed operating room (OR) scheduling (BDORS) problem as a location-allocation model, encompassing two …