A modular CNF-based SAT solver.

Bernardo C. Vieira Fabrício Vivas Andrade Antônio Otávio Fernandes

Published in: SBCCI (2010)

Keyphrases

sat solvers
sat solving
orders of magnitude
sat instances
propositional satisfiability
search space
constraint satisfaction
sat problem
max sat
boolean satisfiability
search strategies
clause learning
search tree
boolean formula
sat encodings
answer sets
branch and bound
heuristic search
simulated annealing