Push and Time at Operation strategies for cycle time minimization in global fab scheduling for semiconductor manufacturing | IEEE Conference Publication | IEEE Xplore