P.-W. Chen, Y.-C. Huang, and J.-H. R. Jiang, “A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving”, AAAI, vol. 35, no. 5, pp. 3697-3706, May 2021.