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