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 2025Feb.3];8(1B):197-205. Available from: https://journals.gjbeacademia.com/index.php/bimajst/article/view/626