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