Overview of sequential and parallel SAT solvers

This paper gives insight into techniques used by sequential as well as parallel SAT solver for solving Boolean Satisfiability Problem. It provides a detailed overview of evolution of SAT solvers thereby elaborating the successful techniques which resulted in higher performance for SAT solving and also in several cases, points out weaknesses involved in order to pave way for designing future performance efficient SAT solvers.