Generation and verification of optimal dispatching policies for multi-product multi-tool semiconductor manufacturing processes. - Chin-Feng Chen; Kun-Jia Wu; Chuei-Tin Chang; David Shan-Hill Wong; Shi-Shang Jang (Comput. Chem. Eng., 2013)