Logic|based benders decomposition for scheduling a batching ...