Talk slides.

    Samuel R. Buss.
    "Search Problems, Proof Complexity, and Bounded Arithmetic"
    Logic and Computational Complexity (LCC); Immerfest.
    Vienna Summer of Logic.
    July 2014.

    Download talk slides: PDF. 

Back to Sam Buss's publications page.