A finite-capacity beam-search-algorithm for production scheduling in semiconductor manufacturing | IEEE Conference Publication | IEEE Xplore