Complexity of Propositional Proofs.

Alexander A. Razborov

Published in: CSR (2010)

Keyphrases

polynomial hierarchy
propositional logic
formal proof
computational cost
worst case
real time
case study
knowledge representation
knowledge base
first order logic
decision problems
theorem prover
machine learning
space complexity
multi valued
neural network
databases