Logic-based Benders decomposition to solve the permutation flowshop scheduling problem with time lags | IEEE Conference Publication | IEEE Xplore