Y.-W. Fan and J.-H. R. Jiang, “SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver”, AAAI, vol. 37, no. 4, pp. 3949-3958, Jun. 2023.