QBF Reasoning on Real-World Instances.

Enrico Giunchiglia Massimo Narizzano Armando Tacchella

Published in: SAT (Selected Papers (2004)

Keyphrases

real world
wide range
case study
synthetic data
data mining
data sets
boolean formula
knowledge representation
quantified boolean formulae
artificial intelligence
lower bound
orders of magnitude
sat solvers
propositional logic
automated reasoning