Solving stochastic Boolean satisfiability under random-exist quantification

Published in IJCAI, 2017

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