On Q-Resolution and CDCL QBF Solving.

Mikolás Janota

Published in: SAT (2016)

Keyphrases

sat solvers
clause learning
sat encodings
sat solving
boolean formula
unit propagation
sat instances
boolean satisfiability
sat problem
propositional satisfiability
conjunctive normal form
search space
constraint satisfaction
search strategies
quantified boolean formulas
davis putnam
computational complexity