Guo, M. (2024) “Progress in the Study of the Boolean Satisfiability Problem”, International Journal of Computer Science and Information Technology, 2(2), pp. 217–225. doi:10.62051/ijcsit.v2n2.25.