Nian-Ze LeeJIE-HONG JIANG2025-03-192025-03-192021-05-18https://scholars.lib.ntu.edu.tw/handle/123456789/725842[SDGs]SDG16Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertaintyconference paper10.1609/aaai.v35i5.16506