VideoArxiv
Home
Workshops
Speakers
Talk page
Title:
The Surprising Power of Constant Depth Algebraic Proofs
Speaker:
Sasank Mouli
Link:
http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001211703-Mouli.html
Workshop:
Birs- 20w5144: Proof Complexity