Job shop scheduling with multiple resources and an application to a semiconductor testing facility | IEEE Conference Publication | IEEE Xplore