Leveraging dominators for preprocessing QBF.

Hratch Mangassarian Bao Le Alexandra Goultiaeva Andreas G. Veneris Fahiem Bacchus

Published in: DATE (2010)

Keyphrases

preprocessing
quantified boolean formulas
post processing
preprocessing step
feature extraction
quantified boolean formulae
preprocessing steps
lower bound
industrial applications
preprocessing phase