Convergence properties of optimization algorithms for the SAT problem | IEEE Journals & Magazine | IEEE Xplore