Video From 18w5208: Theory and Practice of Satisfiability Solving
Tuesday, August 28, 2018 18:49 - 19:22
The (un)reasonable (in)effectiveness of theory for Sat solvers
The (un)reasonable (in)effectiveness of theory for Sat solvers
Sam Buss at 18w5208: Theory and Practice of Satisfiability Solving on Tuesday, August 28, 2018
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