Guo, M. Progress in the Study of the Boolean Satisfiability Problem. IJCSIT 2024, 2 (2), 217-225. https://doi.org/10.62051/ijcsit.v2n2.25.