A. J. Kawu, G. M. Wajiga, Y. M. Malgwi, and U. . Mohammed, “Comparison of the Empirical Performance of Greedy, Hill Climb and Simulated Annealing Algorithms in GSAT Solver on DIMAC and Aloul Benchmarks”, BIMA, vol. 8, no. 4B, pp. 30-40, Jan. 2025.