Fan, Yu-Wei

2 publications

AAAI 2024 Unifying Decision and Function Queries in Stochastic Boolean Satisfiability Yu-Wei Fan, Jie-Hong R. Jiang

AAAI 2023 SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver Yu-Wei Fan, Jie-Hong R. Jiang