Dependency stochastic Boolean satisfiability: A logical formalism for NEXPTIME decision problems with uncertainty

Published in AAAI, 2021

Nian-Ze Lee and Jie-Hong R. Jiang. In Proceedings of the AAAI Conference on Artificial Intelligence, AAAI, pages 3877-3885. AAAI Press, 2021. https://doi.org/10.1609/aaai.v35i5.16506