Lower Bounds for Propositional Proofs and Independence Results in Bounded Arithmetic.

Alexander A. Razborov

Browse the full ICALP paper archive.