PMiniSat - A parallelization of MiniSat 2.0. In this poster we brieﬂy 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%.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Martins, Ruben; Manquinho, Vasco; Lynce, In^es: An overview of parallel SAT solving (2012)
- Vander-Swalmen, Pascal; Dequen, Gilles; Krajecki, Michaël: A collaborative approach for multi-threaded SAT solving (2009)