An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing.
Luca PulinaArmando TacchellaPublished 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