Dmitry Sokolov: (Semi)Algebraic Proofs over $\{\pm 1\}$ Variables
Dmitry Sokolov speaking at the BIRS workshop 20w5144: Proof Complexity (Jan 19 - Jan 24). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.