Guiding CNF-SAT search via efficient constraint partitioning.

Vijay Durairaj Priyank Kalla

Published in: ICCAD (2004)

Keyphrases

search algorithm
search strategies
sat solvers
stochastic local search
search problems
efficient search
sat solving
branch and bound
search methods
duplicate detection
propositional satisfiability
variable ordering
objective function
conjunctive normal form
satisfiability testing