A review of scheduling theory and methods for semiconductor manufacturing cluster tools | IEEE Conference Publication | IEEE Xplore