Chih-Jen Hsu

According to our database, Chih-Jen Hsu authored at least 13 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2022

Locating Image Objects With Probability Distributions.

Yu-Hsiang Lin, Chih-Jen Hsu, Chih-Hung Kuo, Ming-Der Shieh

IEEE Signal Process. Lett., 2022

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

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2021

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

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

2020

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

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

2019

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

Proceedings of the International Conference on Computer-Aided Design, 2019

2017

ICCAD-2017 CAD contest in resource-aware patch generation.

Ching-Yi Huang, Chih-Jen Hsu, Chi-An Wu, Kei-Yong Khoo

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

2016

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

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

2015

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

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

2014

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

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

2013

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

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

2011

SoC HW/SW verification and validation.

Chung-Yang Huang, Yu-Fan Yin, Chih-Jen Hsu, Thomas B. Huang, Ting-Mao Chang

Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

2009

Interpolant generation without constructing resolution graph.

Chih-Jen Hsu, Shao-Lun Huang, Chi-An Wu, Chung-Yang Huang

Proceedings of the 2009 International Conference on Computer-Aided Design, 2009