conftrace_

Yen-Shi Wang

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

Achievements

Jump to papers ↓

🌉 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