Short-interval expository real-time scheduling of semiconductor manufacturing with mixed integer programming | IEEE Conference Publication | IEEE Xplore