logic-based Benders decomposition