Mathematical formulations and an enhanced column generation for the hybrid flow shop scheduling problem | Synapse