Video From 18w5208: Theory and Practice of Satisfiability Solving
Susan Margulies, United States Naval Academy
Wednesday, August 29, 2018 10:14 - 11:08
Hilbert's Nullstellensatz, Grobner Bases, and NP-Complete Problems
0 seconds of 0 secondsVolume 90%
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