Logic-Based Benders Decomposition: Theory and Applicationslink.springer.com1 pointteleforcea year ago