ManySAT: a Parallel SAT Solver.

Youssef Hamadi Saïd Jabbour Lakhdar Sais

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

Keyphrases

sat solvers
orders of magnitude
sat solving
sat problem
boolean satisfiability
max sat
search strategies
search space
constraint satisfaction
sat instances
propositional satisfiability
search tree
constraint solver
clause learning
unsatisfiable cores
search strategy
symmetry breaking
information retrieval