A comparison of production planning formulations with exogenous cycle time estimates using a large-scale wafer fab model | IEEE Conference Publication | IEEE Xplore