Lower bounds for the polynomial calculus (1998)

by Alexander A Razborov
Venue:Computational Complexity