Preprocessing QBF.

Horst Samulowitz Jessica Davies Fahiem Bacchus

Published in: CP (2006)

Keyphrases

preprocessing
quantified boolean formulas
preprocessing step
post processing
feature extraction
description logics
preprocessing phase
preprocessing steps
database
expert systems
evolutionary algorithm
boolean functions
theorem prover
preprocessing stage
quantified boolean formulae