C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT Solvers.
Bernd Becker
Valeria Bertacco
Rolf Drechsler
Masahiro Fujita
Published in:
Algorithms and Applications for Next Generation SAT Solvers (2009)
Keyphrases
</>
sat solvers
orders of magnitude
propositional satisfiability
optimization problems
sat solving
learning algorithm
computational complexity
search strategies
sat instances