Chih-Jen Hsu

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 5

Top Topics

Benchmark Suite

Coronary Artery Disease

Propositional Satisfiability

Top Venues

IEEE Signal Process. Lett.

Publications

Yu-Hsiang Lin, Chih-Jen Hsu, Chih-Hung Kuo, Ming-Der Shieh
Locating Image Objects With Probability Distributions. IEEE Signal Process. Lett. 29 (2022)
Yen-Chun Fang, Shao-Lun Huang, Chi-An Wu, Chung-Han Chou, Chih-Jen Hsu, WoeiTzy Jong, Kei-Yong Khoo
2021 CAD Contest Problem A: Functional ECO with Behavioral Change Guidance Invited Paper. ICCAD (2021)
Chih-Jen Hsu, Chi-An Wu, Ching-Yi Huang, Kei-Yong Khoo
ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk. ICCAD (2020)
Ching-Yi Huang, Chih-Jen Hsu, Chi-An Wu, Kei-Yong Khoo
ICCAD-2017 CAD contest in resource-aware patch generation. ICCAD (2017)
Chih-Jen Hsu, Chi-An Wu, Wei-Hsun Lin, Kei-Yong Khoo
ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite. ICCAD (2015)
Chih-Jen Hsu, Wei-Hsun Lin, Chi-An Wu, Kei-Yong Khoo
ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite. ICCAD (2014)
Chih-Jen Hsu, Wei-Hsun Lin, Hwei-Tseng Wang, Feng Lu, Kei-Yong Khoo
ICCAD-2013 CAD contest in technology mapping for macro blocks and benchmark suite. ICCAD (2013)
Chung-Yang Huang, Yu-Fan Yin, Chih-Jen Hsu, Thomas B. Huang, Ting-Mao Chang
SoC HW/SW verification and validation. ASP-DAC (2011)
Chih-Jen Hsu, Shao-Lun Huang, Chi-An Wu, Chung-Yang Huang
Interpolant generation without constructing resolution graph. ICCAD (2009)