Interpolant generation without constructing resolution graph. - Chih-Jen Hsu; Shao-Lun Huang; Chi-An Wu; Chung-Yang Huang (ICCAD, 2009)

SoC HW/SW verification and validation. - Chung-Yang Huang; Yu-Fan Yin; Chih-Jen Hsu; Thomas B. Huang; Ting-Mao Chang (ASP-DAC, 2011)

ICCAD-2013 CAD contest in technology mapping for macro blocks and benchmark suite. - Chih-Jen Hsu; Wei-Hsun Lin; Hwei-Tseng Wang; Feng Lu; Kei-Yong Khoo (ICCAD, 2013)

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 (ICCAD, 2014)

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 (ICCAD, 2015)

ICCAD-2016 CAD contest in non-exact projective NPNP boolean matching and benchmark suite. - Chi-An (Rocky) Wu; Chih-Jen (Jacky) Hsu; Kei-Yong Khoo (ICCAD, 2016)

ICCAD-2017 CAD contest in resource-aware patch generation. - Ching-Yi Huang; Chih-Jen Hsu; Chi-An Wu; Kei-Yong Khoo (ICCAD, 2017)

2019 CAD Contest: Logic Regression on High Dimensional Boolean Space. - Ching-Yi Huang; Chi-An (Rocky) Wu; Tung-Yuan Lee; Chih-Jen (Jacky) Hsu; Kei-Yong Khoo (ICCAD, 2019)

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 (ICCAD, 2020)

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 (ICCAD, 2021)

2022 CAD Contest Problem A: Learning Arithmetic Operations from Gate-Level Circuit. - Chung-Han Chou; Chih-Jen (Jacky) Hsu; Chi-An (Rocky) Wu; Kuan-Hua Tu (ICCAD, 2022)

Locating Image Objects With Probability Distributions. - Yu-Hsiang Lin; Chih-Jen Hsu; Chih-Hung Kuo; Ming-Der Shieh (IEEE Signal Process. Lett., 2022)

Invited Paper: 2023 ICCAD CAD Contest Problem A: Multi-Bit Large-Scale Boolean Matching. - Chung-Han Chou; Chih-Jen (Jacky) Hsu; Chi-An (Rocky) Wu; Kuan-Hua Tu; Kei-Yong Khoo (ICCAD, 2023)

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; Zhou Li (ICCAD, 2024)