A Novel Integer Linear Programming Formulation for Job-Shop Scheduling Problems | IEEE Journals & Magazine | IEEE Xplore