Permutation flowshop problem with time lags scheduling by logic-based Benders decomposition | IEEE Conference Publication | IEEE Xplore