Boosting SAT Solver Performance via a New Hybrid Approach.

Lei Fang Michael S. Hsiao

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

Keyphrases

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