Guest Column: Proof Complexity and Beyond.

Alexander A. Razborov

Published in: SIGACT News (2016)

Keyphrases

image processing
worst case
real time
expert systems
database
neural network
computer vision
case study
artificial neural networks
theorem proving