Login / Signup
Towards next generation sequential and parallel SAT solvers.
Norbert Manthey
Published in:
Constraints An Int. J. (2015)
Keyphrases
</>
sat solvers
orders of magnitude
sat solving
propositional satisfiability
max sat
boolean satisfiability
constraint satisfaction
sat problem
sat instances
search space
clause learning
search strategies
weighted max sat
search tree
sat encodings
clause learning sat solvers
inference rules
industrial applications