Arc-flow approach for parallel batch processing machine scheduling with non-identical job sizes