Feasible Proofs and Computations: Partnership and Fusion.

Alexander A. Razborov

Browse the full ICALP paper archive.