Bounded Universal Expansion for Preprocessing QBF.

Uwe Bubeck Hans Kleine Büning

Published in: SAT (2007)

Keyphrases

preprocessing
quantified boolean formulas
feature extraction
post processing
preprocessing phase
preprocessing steps
database
machine learning
knowledge base
preprocessing step
real time
image processing
case study
normal form
continuous functions