An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing.

Luca Pulina Armando Tacchella

Published in: Fundam. Informaticae (2010)

Keyphrases

preprocessing
parameter estimation
upper bound
post processing
planning problems

feature extraction
boolean satisfiability
estimation algorithm
boolean functions
quantified boolean formulae

quantified boolean formulas
bounded treewidth
preprocessing stage
estimation accuracy

accurate estimation
search space
lower bound
bayesian networks