Guo, Mengyu. “A Review of Research on Algorithms for Solving SAT Problems”. Mathematical Modeling and Algorithm Application 2, no. 1 (May 8, 2024): 6–10. Accessed October 6, 2024. https://drpress.org/ojs/index.php/mmaa/article/view/20868.