A. J. Kawu; G. M. Wajiga; Y. M. Malgwi; Mohammed, U. . Comparison of the Empirical Performance of Greedy, Hill Climb and SimulatedAnnealing Algorithms in GSATSolver on DIMAC AndAloul Benchmarks. BIMA 2025, 8, 30-40.