Convergence Properties of Optimization Algorithms for the SAT Problem

The satisfiability (SAT) problem is a basic problem in computing theory. Presently, an active area of research on SAT problem is to design efficient algorithms to find a solution for a satisfiable ...