Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection

NIAN-ZE LEEY.-S. WangJIE-HONG JIANG2019-10-242019-10-242018https://scholars.lib.ntu.edu.tw/handle/123456789/427585Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selectionconference paper10.24963/ijcai.2018/1862-s2.0-85055684557