Chen, Pei-Wei, Yu-Ching Huang, and Jie-Hong R. Jiang. 2021. “A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (5):3697-3706. https://doi.org/10.1609/aaai.v35i5.16486.