Video: Igor Carboni Oliveira, "Consistency of Circuit Lower Bounds with Bounded Theories"

Video From 20w5144: Proof Complexity

Igor Carboni Oliveira, University of Oxford

Tuesday, January 21, 2020 11:22 - 11:50

Consistency of Circuit Lower Bounds with Bounded Theories

Igor Carboni Oliveira, Video: Consistency of Circuit Lower Bounds with Bounded Theories

Igor Carboni Oliveira, Consistency of Circuit Lower Bounds with Bounded Theories, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video

Banff International Research Station

presentation

mpeg4

104M

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

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

Download this video (104M)