Dmitry Sokolov

  1. Title:
    Dmitry Sokolov: (Semi)Algebraic Proofs over $\{\pm 1\}$ Variables

    Speaker:

    Link: