Guo M. A Review of Research on Algorithms for Solving SAT Problems. MMAA [Internet]. 2024 May 8 [cited 2026 Sep. 21];2(1):6-10. Available from: https://drpress.org/ojs/index.php/mmaa/article/view/20868