Lecture 2: Natural Proofs and feasible proofs of circuit lower bounds

Date: 
Wed, 25/03/199816:00
Lecturer: 
Prof. Alexander Razborov, Steklov Mathematics Institute, Moscow, Russia