Guo M. A Review of Research on Algorithms for Solving SAT Problems. MMAA. 2024;2(1):6-10. doi:10.54097/1mn6v127