QBF Reasoning on Real-World Instances.

Enrico Giunchiglia Massimo Narizzano Armando Tacchella

Published in: SAT (2004)

Keyphrases

real world
case study
data sets
reasoning systems
quantified boolean formulae
reasoning tasks
randomly generated
synthetic data
knowledge representation
knowledge base
wide range
genetic algorithm
synthetic datasets
automated reasoning
legal reasoning
boolean formula
quantified boolean formulas