(1)
Lee, N.-Z.; Jiang, J.-H. R. Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems With Uncertainty. AAAI 2021, 35, 3877-3885.