A.J. Kawu, G. M. Wajiga, and Y. M. Malgwi, “Comparison of the Empirical Performance of Minisat and GSAT Solvers on SATLIB Benchmark”, BIMA, vol. 8, no. 1B, pp. 197-205, Apr. 2024.