Evaluating QBFs via Symbolic Skolemization.

Marco Benedetti

Published in: LPAR (2004)

Keyphrases

quantified boolean formulas
expert systems
real time
information retrieval
natural language
symbolic representation
neural learning
symbolic description