A Novel Tightened Integer Linear Programming Formulation for Batch Scheduling | IEEE Conference Publication | IEEE Xplore