On Propositional QBF Expansions and Q-Resolution.
Mikolás JanotaJoão Marques-SilvaPublished in: SAT (2013)
Keyphrases
- quantified boolean formulae
- propositional logic
- high resolution
- clause learning
- first order logic
- boolean formula
- prime implicates
- consequence finding
- quantified boolean formulas
- prime implicants
- conjunctive normal form
- knowledge compilation
- davis putnam
- horn clauses
- symmetry breaking
- sat solvers
- low resolution
- knowledge representation