Lee, N.-Z., & Jiang, J.-H. R. (2021). Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty. Proceedings of the AAAI Conference on Artificial Intelligence, 35(5), 3877-3885. https://doi.org/10.1609/aaai.v35i5.16506