Susanna de Rezende

  1. Title:
    Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity

    Speaker:

    Link:

  2. Title:
    Clique Is Hard for State-of-the-Art Algorithms

    Speaker:

    Link: