A.J. Kawu, G. M. Wajiga, and Y. M. Malgwi. 2024. “Comparison of the Empirical Performance of Minisat and GSAT Solvers on SATLIB Benchmark”. BIMA JOURNAL OF SCIENCE AND TECHNOLOGY (2536-6041) 8 (1B):197-205. https://doi.org/10.56892/bima.v8i1.626.