A Dynamic Expansion Order Algorithm for the SAT-based Minimization. - Chia-Chun Lin; Kit Seng Tam; Chana-Cheng Ko; Hsin-Ping Yen; Shenz-Hsiu Wei; Yung-Chih Chen; Chun-Yao Wang (SoCC, 2020)

A General Equivalence Checking Framework for Multivalued Logic. - Chia-Chun Lin; Hsin-Ping Yen; Sheng-Hsiu Wei; Pei-Pei Chen; Yung-Chih Chen; Chun-Yao Wang (ASP-DAC, 2021)

Cluster Tool Performance Analysis using Graph Database. - Shiuan-Hau Huang; Hsin-Ping Yen; Yan-Hsiu Liu; Kuang-Hsien Tseng; Ji-Fu Kung; Chia-Chun Lin; Yi-Ting Li; Yung-Chih Chen; Chun-Yao Wang (SoCC, 2021)

A Flexible Cluster Tool Simulation Framework with Wafer Batch Dispatching Time Recommendation. - Hsin-Ping Yen; Shiuan-Hau Huang; Yan-Hsiu Liu; Kuang-Hsien Tseng; Ji-Fu Kung; Yi-Ting Li; Yung-Chih Chen; Chun-Yao Wang (ISQED, 2023)