Login / Signup
Between SAT and UNSAT: The Fundamental Difference in CDCL SAT.
Chanseok Oh
Published in:
SAT (2015)
Keyphrases
</>
sat solvers
propositional satisfiability
orders of magnitude
sat problem
sat solving
search tree
boolean satisfiability
max sat
search strategies
constraint satisfaction
sat instances
sat encodings
search space
clause learning
search algorithm
search methods
graph coloring
boolean formula
reinforcement learning