Video: Kilian Risse, "Exponential Resolution Lower Bounds for the Weak Pigeonhole Principle over Sparse Graphs"

Video From 20w5144: Proof Complexity

Kilian Risse, KTH Royal Institute of Technology

Thursday, January 23, 2020 15:01 - 15:29

Exponential Resolution Lower Bounds for the Weak Pigeonhole Principle over Sparse Graphs

Kilian Risse, Video: Exponential Resolution Lower Bounds for the Weak Pigeonhole Principle over Sparse Graphs

Kilian Risse, Exponential Resolution Lower Bounds for the Weak Pigeonhole Principle over Sparse Graphs, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video

Banff International Research Station

presentation

mpeg4

99M

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

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

Download this video (99M)