Solving the Type-2 Assembly Line Balancing with Setups Using Logic-Based Benders Decomposition - BizPub.ai