Deterministic Parallel DPLL.

Youssef Hamadi Saïd Jabbour Cédric Piette Lakhdar Sais

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

Keyphrases

parallel processing
propositional logic
sat solvers
data sets
data structure
np complete
parallel implementation
real time
information systems
black box
sat solving
satisfiability testing