Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
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