Login / Signup

Complexity Results for Classes of Quantificational Formulas.

Harry R. Lewis
Published in: J. Comput. Syst. Sci. (1980)
Keyphrases
  • tractable cases
  • complexity measures
  • database
  • computational complexity
  • propositional logic
  • computational cost
  • data sets
  • artificial intelligence