c-sat: A Parallel SAT Solver for Clusters.

Kei Ohmura Kazunori Ueda

Published in: SAT (2009)

Keyphrases

sat solvers
sat problem
sat solving
propositional satisfiability
orders of magnitude
boolean satisfiability
sat instances
search space
max sat
constraint satisfaction
search strategies
search tree
sat encodings
constraint solver
search algorithm