Guo, Mengyu. “A Review of Research on Algorithms for Solving SAT Problems”. Mathematical Modeling and Algorithm Application, vol. 2, no. 1, May 2024, pp. 6-10, https://doi.org/10.54097/1mn6v127.