Login / Signup

Examples of Hard Tautologies in the Propositional Calculus

Balakrishnan KrishnamurthyRobert N. Moll
Published in: STOC (1981)
Keyphrases
  • propositional calculus
  • information systems
  • multi agent systems
  • digital libraries
  • information technology
  • hidden markov models