Yu-Wei Fan

2 papers · 2023–2024 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (6)

Conferences

AAAI (2)

Top co-authors

Jie-Hong R. Jiang (2)

Keywords

stochastic boolean satisfiability (2) clause learning (1) skolem function (1) parameter synthesis (1) component caching (1) witness generation (1) pure literal detection (1) threshold quantification (1) optimization under uncertainty (1) pspace complexity (1)

Papers

Unifying Decision and Function Queries in Stochastic Boolean Satisfiability AAAI 2024

SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver AAAI 2023