PMiniSat - A parallelization of MiniSat 2.0

In this poster we briefly describe some of the features of PMiniSat, a parallel SAT solver entering SAT Race 2008. PMiniSat is a parallelization of MiniSat 2.0. It features some standard parallelization techniques like dynamic work stealing using guiding paths, sharing short learnt clauses, etc. It also features an extended learnt clause sharing heuristic, global restarts, and a series of data structure changes that increases the speed of the core propagation engine by around 80%.