Chi-An Wu - RankMe

14 papers A* 2A 9Journal 1Unranked 2

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