Optimality of size-degree tradeoffs for polynomial calculus.

Nicola Galesi Massimo Lauria

Published in: ACM Trans. Comput. Log. (2010)

Keyphrases

computational complexity
data sets
neural network
memory requirements
small size
scales linearly
low degree
exponential size
databases
artificial intelligence
evolutionary algorithm
window size
formal language
polynomial size