Overview of sequential and parallel SAT solvers
Mahesh M. Doijade, D.B. Kulkarni · 2014
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.