The Proof Complexity of Polynomial Identities.

Pavel Hrubes Iddo Tzameret

Published in: Computational Complexity Conference (2009)

Keyphrases

vapnik chervonenkis dimension
polynomial hierarchy
database
neural network
theorem prover
real time
data mining
hidden markov models
linear logic