Oliver Korten

  1. Title:
    Making Proofs More Constructive, and Algorithms Less Random
    Speaker:
    Oliver Korten

    Link:
    https://www.ias.edu/video/making-proofs-more-constructive-and-algorithms-less-random