TY  - RPRT
TI  - Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty
AU  - Nian-Ze Lee
AU  - Jie-Hong R. Jiang
PY  - 2021
UR  - https://arxiv.org/abs/1911.04112
ID  - 1911.04112
ER  -