QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving.

Kuan-Hua Tu Tzu-Chien Hsu Jie-Hong R. Jiang

Published in: SAT (2015)

Keyphrases

sat solving
clause learning
sat solvers
boolean satisfiability
sat problem
orders of magnitude
satisfiability problem
propositional satisfiability
boolean formula
automated reasoning
search algorithm
max sat
constraint satisfaction
search tree
sat instances
symmetry breaking
np complete
sat encodings
search space