Login / Signup
Towards Next Generation Sequential and Parallel SAT Solvers.
Norbert Manthey
Published in:
Künstliche Intell. (2016)
Keyphrases
</>
sat solvers
orders of magnitude
propositional satisfiability
constraint satisfaction
max sat
sat problem
sat solving
search tree
search strategies
sat instances
boolean satisfiability
search space
clause learning
weighted max sat
clause learning sat solvers
answer sets
propositional logic
document retrieval