Login / Signup
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