Logic-Based Benders Decomposition