Complexity Results for Classes of Quantificational Formulas.

Published in: J. Comput. Syst. Sci. (1980)

Keyphrases

tractable cases
complexity measures
database
computational complexity
propositional logic
computational cost
data sets
artificial intelligence