Space complexity in polynomial calculus. (2012)

by Yuval Filmus, Massimo Lauria, Jakob Nordstrom, Neil Thapen, Noga Ron-Zewi
Venue:In Proc. 27th Annual IEEE Conference on Computational Complexity (CCC ’12),