Simulations-based and solver-based optimization approaches for batch processes in semiconductor manufacturing | IEEE Conference Publication | IEEE Xplore