Quantified CDCL with Universal Resolution.

Friedrich Slivovsky

Published in: SAT (2022)

Keyphrases

clause learning
sat solvers
unit propagation
sat encodings
sat problem
satisfiability problem
orders of magnitude
propositional satisfiability
constraint satisfaction
max sat
davis putnam
search algorithm
search tree
search strategies