Login / Signup
The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study.
Matti Järvisalo
Ilkka Niemelä
Published in:
J. Algorithms (2008)
Keyphrases
</>
sat solving
clause learning
sat solvers
search tree
boolean satisfiability
sat problem
constraint satisfaction
orders of magnitude
search space
propositional satisfiability
satisfiability problem
max sat
search algorithm
knowledge representation
automated reasoning
sat encodings