Unprovability of lower bounds on the circuit size in certain fragments of bounded arithmetic (1995)

by Alexander A. Razborov
Venue:Izvestiya of the R.A.N
Citations:54 - 6 self