Yu-Wei Fan

According to our database, Yu-Wei Fan authored at least 5 papers between 2023 and 2026.

Collaborative distances:

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

2026

SecIC3: Customizing IC3 for Hardware Security Verification.

Qinhan Tan, Akash Gaonkar, Yu-Wei Fan, Aarti Gupta, Sharad Malik

Proceedings of the Design, Automation & Test in Europe Conference, 2026

2024

2-DQBF Solving and Certification via Property-Directed Reachability Analysis.

Long-Hin Fung, Che Cheng, Yu-Wei Fan, Tony Tan, Jie-Hong Roland Jiang

Proceedings of the Formal Methods in Computer-Aided Design, 2024

Unifying Decision and Function Queries in Stochastic Boolean Satisfiability.

Yu-Wei Fan, Jie-Hong R. Jiang

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits.

Kuo-Wei Ho, Shao-Ting Chung, Tian-Fu Chen, Yu-Wei Fan, Che Cheng, Cheng-Han Liu, Jie-Hong R. Jiang

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

SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver.

Yu-Wei Fan, Jie-Hong R. Jiang

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023