Chen, P.-W., Huang, Y.-C., & 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), 3697-3706. https://doi.org/10.1609/aaai.v35i5.16486