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