A.J. Kawu, G. M. Wajiga, Y. M. Malgwi. Comparison of the Empirical Performance of Minisat and GSAT Solvers on SATLIB Benchmark. BIMA [Internet]. 2024Apr.22 [cited 2025Oct.3];8(1B):197-205. Available from: https://journal-academia.com/Ojs/index.php/bimajst/article/view/626