Login / Signup
Formalization and Implementation of Modern SAT Solvers.
Filip Maric
Published in:
J. Autom. Reason. (2009)
Keyphrases
</>
sat solvers
sat solving
orders of magnitude
sat problem
propositional satisfiability
max sat
sat instances
search strategies
boolean satisfiability
knowledge representation
constraint satisfaction
search tree
answer sets
weighted max sat
genetic algorithm