Lee, Nian-Ze, and Jie-Hong R. Jiang. “Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems With Uncertainty”. Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 5 (May 18, 2021): 3877-3885. Accessed April 24, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/16506.