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

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