A.J. Kawu; G. M. Wajiga; Y. M. Malgwi. Comparison of the Empirical Performance of Minisat and GSAT Solvers on SATLIB Benchmark. BIMA 2024, 8, 197-205.