Yen-Shi Wang

2 papers · 2017–2018 · 1 conference · across top CS/AI conferences

Achievements

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

Conferences

IJCAI (2)

Top co-authors

Nian-Ze Lee (2) Jie-Hong R. Jiang (2)

Keywords

stochastic boolean satisfiability (2) quantified boolean formula (2) approximate solution (1) clause selection (1) logic synthesis (1) expected utility (1) approximate solving (1) binary decision diagram (1)

Papers

Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection IJCAI 2018

Solving Stochastic Boolean Satisfiability under Random-Exist Quantification IJCAI 2017