The Complexity of Propositional Proofs.

Nathan Segerlind

Published in: Bull. Symb. Log. (2007)

Keyphrases

propositional logic
worst case
theorem proving
databases
space complexity
data mining
artificial intelligence
case study
propositional formulas