Video: Michal Garlík, "Resolution Lower Bounds for Refutation Statements"

Video From 20w5144: Proof Complexity

Michal Garlík, Universitat Politecnica de Catalunya

Thursday, January 23, 2020 09:02 - 09:31

Resolution Lower Bounds for Refutation Statements

Michal Garlík, Video: Resolution Lower Bounds for Refutation Statements

Michal Garlík, Resolution Lower Bounds for Refutation Statements, Proof Complexity, BIRS, BIRS talk, 20w5144, math, mathematics, video

Banff International Research Station

presentation

mpeg4

100M

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

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

0 seconds of 0 secondsVolume 90%

00:00

This video file cannot be played.(Error Code: 224003)