Video: Shuo Pang, "k-Clique and Regular vs. General Resolution"

Video From 20w5144: Proof Complexity

Shuo Pang, University of Chicago

Thursday, January 23, 2020 11:30 - 11:52

k-Clique and Regular vs. General Resolution

Shuo Pang, Video: k-Clique and Regular vs. General Resolution

Shuo Pang, k-Clique and Regular vs. General Resolution, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video

Banff International Research Station

presentation

mpeg4

84M

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

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