Integer programming-based real-time scheduler in semiconductor manufacturing | IEEE Conference Publication | IEEE Xplore