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), pp. 3697-3706. doi: 10.1609/aaai.v35i5.16486.