Video From 20w5144: Proof Complexity
Paul Beame, University of Washington
Monday, January 20, 2020 09:05 - 10:02
Proof Complexity 2020
Proof Complexity 2020
Paul Beame at 20w5144: Proof Complexity on Monday, January 20, 2020
0 seconds of 0 secondsVolume 0%
Press shift question mark to access a list of keyboard shortcuts
Keyboard Shortcuts
Shortcuts Open/Close/ or ?
Play/PauseSPACE
Increase Volume↑
Decrease Volume↓
Seek Forward→
Seek Backward←
Captions On/Offc
Fullscreen/Exit Fullscreenf
Mute/Unmutem
Decrease Caption Size-
Increase Caption Size+ or =
Seek %0-9
