Chi-An Wu

According to our database, Chi-An Wu authored at least 16 papers between 2007 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

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

A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking.

Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 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

2011

Speeding Up MPSoC virtual platform simulation by Ultra Synchronization Checking Method.

Yu-Fu Yeh, Chung-Yang Huang, Chi-An Wu, Hsin-Cheng Lin

Proceedings of the Design, Automation and Test in Europe, 2011

Interpolation-based incremental ECO synthesis for multi-error logic rectification.

Kai-Fu Tang, Chi-An Wu, Po-Kai Huang, Chung-Yang (Ric) Huang

Proceedings of the 48th Design Automation Conference, 2011

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

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

SAT-controlled redundancy addition and removal: a novel circuit restructuring technique.

Chi-An Wu, Ting-Hao Lin, Shao-Lun Huang, Chung-Yang Huang

Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

2007

QuteSAT: a robust circuit-based SAT solver for complex circuit structure.

Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang Huang

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007