Guo, Mengyu. 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.