| 2024 | ICCAD | 2024 ICCAD CAD Contest Problem A: Reinforcement Logic Optimization for a General Cost Function. | Chung-Han Chou, Chih-Jen Hsu, Chi-An Wu, Kuan-Hua Tu, Kwangsoo Han, Zhuo Li |
| 2021 | ICCAD | 2021 CAD Contest Problem A: Functional ECO with Behavioral Change Guidance Invited Paper. | Yen-Chun Fang, Shao-Lun Huang, Chi-An Wu, Chung-Han Chou, Chih-Jen Hsu, WoeiTzy Jong, Kei-Yong Khoo |
| 2020 | ICCAD | ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk. | Chih-Jen Hsu, Chi-An Wu, Ching-Yi Huang, Kei-Yong Khoo |
| 2017 | ICCAD | ICCAD-2017 CAD contest in resource-aware patch generation. | Ching-Yi Huang, Chih-Jen Hsu, Chi-An Wu, Kei-Yong Khoo |
| 2015 | ICCAD | ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite. | Chih-Jen Hsu, Chi-An Wu, Wei-Hsun Lin, Kei-Yong Khoo |
| 2014 | ICCAD | ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite. | Chih-Jen Hsu, Wei-Hsun Lin, Chi-An Wu, Kei-Yong Khoo |
| 2013 | DAC | A counterexample-guided interpolant generation algorithm for SAT-based model checking. | Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang |
| 2011 | ASPDAC | A robust ECO engine by resource-constraint-aware technology mapping and incremental routing optimization. | Shao-Lun Huang, Chi-An Wu, Kai-Fu Tang, Chang-Hong Hsu, Chung-Yang Huang |
| 2011 | DAC | Interpolation-based incremental ECO synthesis for multi-error logic rectification. | Kai-Fu Tang, Chi-An Wu, Po-Kai Huang, Chung-Yang (Ric) Huang |
| 2011 | DATE | Speeding Up MPSoC virtual platform simulation by Ultra Synchronization Checking Method. | Yu-Fu Yeh, Chung-Yang Huang, Chi-An Wu, Hsin-Cheng Lin |
| 2009 | ASPDAC | SAT-controlled redundancy addition and removal: a novel circuit restructuring technique. | Chi-An Wu, Ting-Hao Lin, Shao-Lun Huang, Chung-Yang Huang |
| 2009 | ICCAD | Interpolant generation without constructing resolution graph. | Chih-Jen Hsu, Shao-Lun Huang, Chi-An Wu, Chung-Yang Huang |
| 2007 | DATE | QuteSAT: a robust circuit-based SAT solver for complex circuit structure. | Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang Huang |