Talk slides:
Samuel R. Buss.
A series of four talks.
Prague School of Logic and Complexity
Charles University, Prague 2009.
"I. Introduction to NP Functions and Local Search".
September 21, 2009
Download slides: PDF.
"II. Introduction to to Bounded Arithmetic and Witnessing".
September 21, 2009
Download slides: PDF.
"III. Bounded Arithmetic, Paris-Wilkie Translations,
and Witnessing in P and PLS".
September 22, 2009
Download slides: PDF.
"IV. Polynomial Local Search higher in the Bounded
Arithmetic Hierarchy".
September 22, 2009
Download slides: PDF.
Thanks to Alan Johnson for scribing corrections for the talks.
Back to Sam Buss's publications page.