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.