Scheduling setup operations for bottleneck facilities in semiconductor manufacturing | IEEE Conference Publication | IEEE Xplore