A Survey of Lower Bounds for the Resolution Proof System - Avi Wigderson
About this video
Advanced · Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceSurveys lower bounds for resolution proof systems, a core topic in computational complexity and proof theory. Teaches proof complexity techniques used in automated reasoning and SAT solving.
A 118-minute video from Institute for Advanced Study: “A Survey of Lower Bounds for the Resolution Proof System - Avi Wigderson”.
Video by Institute for Advanced Study, played through YouTube's embedded player.