NIAN-ZE LEEYen-Shi WangJIE-HONG JIANG2019-10-242019-10-242017https://scholars.lib.ntu.edu.tw/handle/123456789/427580[SDGs]SDG16Solving Stochastic Boolean Satisfiability under Random-Exist Quantificationconference paper10.24963/ijcai.2017/962-s2.0-85031924287