Fan, Y.-W.; Jiang, J.-H. R. SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver. AAAI 2023, 37, 3949-3958.