PMSat: a parallel version of MiniSAT.

Luís Gil Paulo F. Flores Luís Miguel Silveira

Published in: J. Satisf. Boolean Model. Comput. (2009)

Keyphrases

parallel version
parallel algorithm
cluster of workstations
sat solvers
search problems
parallel processors
sat solving
iterative deepening
state space search
orders of magnitude
state space
beam search
query processing
linear programming