On the Complexity of Finding Narrow Proofs.

Christoph Berkholz

Published in: FOCS (2012)

Keyphrases

worst case
artificial intelligence
complexity analysis
data mining
theorem prover
decision making
metadata
case study
image processing
computational cost
hidden markov models
special case
image segmentation
real time
knowledge base
computer vision
social networks
neural network