Sign in
Optimizing a Verified SAT Solver.
Mathias Fleury
Published in:
NFM (2019)
Keyphrases
</>
sat solvers
orders of magnitude
sat solving
propositional satisfiability
sat instances
max sat
boolean satisfiability
search strategies
search space
constraint satisfaction
search tree
sat problem
boolean formula
constraint solver
clause learning
constraint propagation
sat encodings
constraint satisfaction problems