Video: Tuomas Hakoniemi, "Size-Degree Trade-Off for Sums-of-Squares Proofs"

Video From 20w5144: Proof Complexity

Tuomas Hakoniemi, Universitat Politècnica de Catalunya

Monday, January 20, 2020 16:30 - 16:56

Size-Degree Trade-Off for Sums-of-Squares Proofs

Tuomas Hakoniemi, Video: Size-Degree Trade-Off for Sums-of-Squares Proofs

Tuomas Hakoniemi, Size-Degree Trade-Off for Sums-of-Squares Proofs, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video

Banff International Research Station

presentation

mpeg4

127M

http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos

http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001201630-Hakoniemi.html