Broadcasts.com - "The Surprising Power of Constant Depth Algebraic Proofs" (Banff International Research Station (BIRS))

Science
RELATED

The Surprising Power of Constant Depth Algebraic Proofs

Published: Jan. 22, 2020, 1:03 a.m.

Sasank Mouli speaking at the BIRS workshop 20w5144: Proof Complexity (Jan 19 - Jan 24). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.