Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Yu-Wei Fan's Personal Website
CV
Publications
Sitemap
Teaching
Posts
portfolio
publications
SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver
Author: Yu-Wei Fan, Jie-Hong Roland Jiang.
Published in Proceedings of the AAAI conference on Artificial Intelligence (AAAI), 2023
WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits
Author: Kuo-Wei Ho, Shao-Ting Chung, Tian-Fu Chen, Yu-Wei Fan, Che Cheng, Cheng-Han Liu, Jie-Hong Roland Jiang.
Published in Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2023
Unifying Decision and Function Queries in Stochastic Boolean Satisfiability
Author: Yu-Wei Fan, Jie-Hong Roland Jiang.
Published in Proceedings of the AAAI conference on Artificial Intelligence (AAAI), 2024
2-DQBF Solving and Certification via Property-Directed Reachability Analysis
Author: Long-Hin Fung, Che Cheng, Yu-Wei Fan, Tony Tan, Jie-Hong Roland Jiang
Published in Proceedings of Formal Methods in Computer Aided Design, 2024
talks
teaching
Switching Circuits and Logic Design
Undergraduate course, Department of Electrical Engineering, National Taiwan University
Introduction to Electronic Design Automation
Undergraduate course, Department of Electrical Engineering, National Taiwan University