Title: Logic-Based Benders Decomposition