Video From 16w5044: Computational Complexity
Wednesday, September 7, 2016 11:08 - 12:01
Proof complexity lower bounds from algebraic circuit complexity
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.