Propositional proof complexity.

Alexander A. Razborov

Published in: J. ACM (2003)

Keyphrases

computational cost
first order logic
theorem proving
propositional logic
worst case
databases
default logic
theorem prover
polynomial hierarchy
linear logic
pspace complete
expert systems
computational complexity
bayesian networks
social networks
genetic algorithm
machine learning