A tabu search heuristic to solve the scheduling problem for a batch-processing machine with non-identical job sizes | IEEE Conference Publication | IEEE Xplore