Talk slides.

    Sam Buss.
    "Nonconstructive Proofs of Existence for Provably Total Search Problems.
    Workshop on Theoretical Computer Science.
    Higher School of Economics, Moscow, April 6, 2016

    Download talk slides: PDF. 

Back to Sam Buss's publications page.