Guo, M. 2024. A Review of Research on Algorithms for Solving SAT Problems. Mathematical Modeling and Algorithm Application. 2, 1 (May 2024), 6–10. DOI:https://doi.org/10.54097/1mn6v127.