Integrating CNF and BDD based SAT solvers.

Sivaram Gopalakrishnan Vijay Durairaj Priyank Kalla

Published in: HLDVT (2003)

Keyphrases

sat solvers
sat solving
orders of magnitude
clause learning
propositional satisfiability
constraint satisfaction
sat problem
max sat
search tree
boolean satisfiability
search space
search strategies
sat instances
clause learning sat solvers
weighted max sat
metaheuristic
np hard