A Simple Proof of Bazzi's Theorem.

Alexander A. Razborov

Published in: ACM Trans. Comput. Theory (2009)

Keyphrases

information retrieval
theorem prover
theorem proving
real time
neural network
image segmentation
cooperative
black box
linear logic
interactive theorem proving