The complexity of propositional proofs.

Alasdair Urquhart

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

Keyphrases

theorem proving
computational complexity
worst case
first order logic
theorem prover
neural network
real world
computational cost
real time
decision trees
propositional logic
multi valued
proof procedure
polynomial hierarchy