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