On Propositional QBF Expansions and Q-Resolution.

Mikolás Janota João Marques-Silva

Published in: Electron. Colloquium Comput. Complex. (2013)

Keyphrases

quantified boolean formulae
propositional logic
quantified boolean formulas
high resolution
first order logic
conjunctive normal form
low resolution
clause learning
belief revision
multi valued
knowledge compilation
davis putnam
data sets
neural network
learning algorithm
multiresolution