(1)
Chen, P.-W.; Huang, Y.-C.; Jiang, J.-H. R. A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving. AAAI 2021, 35, 3697-3706.