Solving Stochastic Boolean Satisfiability under Random-Exist Quantification.

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

Browse the full IJCAI paper archive.