Solving exist-random quantified stochastic Boolean satisfiability via clause selection

Published in IJCAI, 2018

Nian-Ze Lee, Yen-Shi Wang, and Jie-Hong R. Jiang. In Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI, pages 1339-1345. IJCAI Organization, 2018. https://doi.org/10.24963/ijcai.2018/186