Talk slides.

    Sam Buss.
    Introduction for Bounded Arithmetic.
    Part I: First- and Second-Order Theories.
    Part II: Translations to Propositional Logic.
    Part III: Provable Total NP Search Problems.
    Workshop on Proof Complexity.
    Special Semester on Complexity.
    St. Petersburg State University, May 15, 2016

    Download talk slides: PDF

Back to Sam Buss's publications page.