An Ultimate Trade-Off in Propositional Proof Complexity.

Alexander A. Razborov

Published in: Electron. Colloquium Comput. Complex. (2015)

Keyphrases

trade off
computational complexity
propositional logic
genetic algorithm
polynomial hierarchy
neural network
first order logic
decision problems
database
computational cost
default logic
linear logic