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
About me
Archive Layout with Content
Posts by Category
Posts by Collection
CV
Markdown
Page not in menu
This is a page not in th emain menu
Page Archive
Portfolio
Publications
Sitemap
Posts by Tags
Talk map
Talks and presentations
Teaching
Terms and Privacy Policy
Blog posts
Jupyter notebook markdown generator
Posts
Future Blog Post
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
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
Talk 1 on Relevant Topic in Your Field
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Tutorial 1 on Relevant Topic in Your Field
Talk 2 on Relevant Topic in Your Field
Conference Proceeding talk 3 on Relevant Topic in Your Field
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
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