Publications

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

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

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

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