On QBF Proofs and Preprocessing.

Mikolás Janota Radu Grigore João Marques-Silva

Published in: CoRR (2013)

Keyphrases

preprocessing
quantified boolean formulas
decision procedures
preprocessing step
post processing
theorem proving
theorem prover
quantified boolean formulae
preprocessing steps
feature extraction
propositional logic
preprocessing phase
neural network
data mining
knowledge base
lower bound