Decomposition algorithms for scheduling semiconductor testing facilities | IEEE Conference Publication | IEEE Xplore