Login / Signup
Yen-Shi Wang
Publication Activity (10 Years)
Years Active: 2017-2018
Publications (10 Years): 2
Top Topics
Sat Instances
Probabilistic Planning
Sat Solving
Davis Putnam Logemann Loveland
Top Venues
IJCAI
</>
Publications
</>
Nian-Ze Lee
,
Yen-Shi Wang
,
Jie-Hong R. Jiang
Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection.
IJCAI
(2018)
Nian-Ze Lee
,
Yen-Shi Wang
,
Jie-Hong R. Jiang
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification.
IJCAI
(2017)