PMSat: a parallel version of MiniSAT
L. Gil, Paulo F. Flores, Luis Miguel Silveira · Journal on Satisfiability Boolean Modeling and Computation · 2008
Parallel computing has become an affordable reality forcing a shift in the programming paradigm from sequential to concurrent applications, specially those who demand much computational power or with large search spaces like SAT-solvers. In this cont