A branch-and-cut approach for the distributed no-wait flowshop scheduling problem. (December 2022)