Implementation

Propagating logic-based Benders' decomposition approaches for distributed operating room scheduling

We develop three novel logic-based Benders' decomposition (LBBD) approaches and a cut propagation mechanism to solve large-scale …