Yu-Wei Fan

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Boolean Satisfiability

Clause Learning

Top Venues

Publications

Yu-Wei Fan, Jie-Hong R. Jiang
Unifying Decision and Function Queries in Stochastic Boolean Satisfiability. AAAI (2024)
Kuo-Wei Ho, Shao-Ting Chung, Tian-Fu Chen, Yu-Wei Fan, Che Cheng, Cheng-Han Liu, Jie-Hong R. Jiang
WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits. ICCAD (2023)
Yu-Wei Fan, Jie-Hong R. Jiang
SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver. AAAI (2023)