Efficient setup/dispatching policies in a semiconductor manufacturing facility | IEEE Conference Publication | IEEE Xplore