SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver. - Yu-Wei Fan; Jie-Hong R. Jiang (AAAI, 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 (ICCAD, 2023)

Unifying Decision and Function Queries in Stochastic Boolean Satisfiability. - Yu-Wei Fan; Jie-Hong R. Jiang (AAAI, 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 (FMCAD, 2024)