- A Hierarchical Parallel SAT Solver.

Tobias Schubert Bernd Becker

Published in: MTV (2004)

Keyphrases

sat solvers
sat solving
orders of magnitude
constraint satisfaction
boolean satisfiability
propositional satisfiability
sat instances
search space
search strategies
max sat
search tree
constraint solver
sat encodings
clause learning
computational complexity
co occurrence
lower bound