Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection.

Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang

Browse the full IJCAI paper archive.