Lee, Nian-Ze, and Jie-Hong R. Jiang. 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-85. https://doi.org/10.1609/aaai.v35i5.16506.