A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving.

Pei-Wei Chen, Yu-Ching Huang, Jie-Hong R. Jiang

Browse the full AAAI paper archive.