Preprocessing Techniques for QBFs.

Enrico Giunchiglia Paolo Marin Massimo Narizzano

Published in: RCRA (2008)

Keyphrases

preprocessing
quantified boolean formulas
post processing
preprocessing step
preprocessing phase
quantified boolean formulae
information retrieval
feature extraction
preprocessing stage
preprocessing steps
artificial intelligence
search engine
website
expert systems