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 GOMBE. 8, 1B (Apr. 2024), 197-205. DOI:https://doi.org/10.56892/bima.v8i1.626.