Chen, P.-W., Huang, Y.-C. and Jiang, J.-H.R. 2021. A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving. Proceedings of the AAAI Conference on Artificial Intelligence. 35, 5 (May 2021), 3697-3706. DOI:https://doi.org/10.1609/aaai.v35i5.16486.