Uniform Proof Complexity.

Arnold Beckmann

Published in: J. Log. Comput. (2005)

Keyphrases

social networks
computational complexity
neural network
artificial intelligence
image sequences
computational cost
worst case
decision problems
theorem prover