A New Kind of Tradeoffs in Propositional Proof Complexity.

Alexander A. Razborov

Published in: J. ACM (2016)

Keyphrases

propositional logic
computational complexity
worst case
polynomial hierarchy
real time
databases
machine learning
decision problems
real world
learning algorithm
information systems
computational cost
upper bound
first order logic
theorem proving