Fan Y-W, Jiang J-HR. SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver. AAAI [Internet]. 2023Jun.26 [cited 2026Apr.22];37(4):3949-58. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/25509