Optimal scheduling and open-loop control of network batch processes under variable processing times using Generalized Benders Decomposition | IEEE Conference Publication | IEEE Xplore