The Complexity of Propositional Proofs.

Alasdair Urquhart

Published in: Bull. EATCS (1998)

Keyphrases

worst case
expert systems
computational cost
theorem prover
propositional logic
default logic
data mining
multi valued