Quantifier Elimination in Stochastic Boolean Satisfiability.

Hao-Ren Wang, Kuan-Hua Tu, Jie-Hong Roland Jiang, Christoph Scholl

Browse the full SAT paper archive.