Luís Gil, Paulo F. Flores, Luís Miguel Silveira: PMSat: a parallel version of MiniSAT. J. Satisf. Boolean Model. Comput. 6(1-3): 71-98 (2009)