Video From 20w5144: Proof Complexity
Thursday, January 23, 2020 16:32 - 17:02
Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs
![](http://www.birs.ca/files/images/poster.png)
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.