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), pp. 197-205. doi: 10.56892/bima.v8i1.626.