Exact resolution of the two-stage hybrid flow shop with dedicated machines