Wang, Yen-Shi

2 publications

IJCAI 2018 Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang

IJCAI 2017 Solving Stochastic Boolean Satisfiability Under Random-Exist Quantification Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang