Space Complexity in Polynomial Calculus.

Yuval Filmus Massimo Lauria Jakob Nordström Noga Ron-Zewi Neil Thapen

Published in: SIAM J. Comput. (2015)

Keyphrases

space complexity
arc consistency
space requirements
worst case
low order
neural network
database systems
worst case time complexity
database
learning algorithm
pattern matching
automated deduction
computer algebra