# Solving Stochastic Boolean Satisfiability under Random-Exist Quantification

> Research article (Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017) · cited 10× · AI/ML

**Wikidata**: [openalex:W2741695627](https://www.wikidata.org/wiki/openalex:W2741695627)  
**Source**: https://4ort.xyz/entity/solving-stochastic-boolean-satisfiability-under-random-exist-quantification