Lower bounds for the polynomial calculus (1998)

by Razborov
Venue:Computational Complexity