Video From 20w5144: Proof Complexity
Dmitry Sokolov, EPFL
Monday, January 20, 2020 16:57 - 17:32
Dmitry Sokolov: (Semi)Algebraic Proofs over $\{\pm 1\}$ Variables
![](http://www.birs.ca/files/images/poster.png)
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.