An Exact Algorithm for the Batch Sequencing Problem in a Two-Machine Flow Shop with Limited Buffer