Boolean satisfiability
Why it's on BrighterTube
Editorial review · 85% confidenceFull-course playlist 'Fundamental Algorithms, Spring 2024' from a curated course list (Purdue CS 580 Graduate Algorithms, by Kent Quanrud (Spring 2023) (Spring 2024)); uploader is instructor; playlist judged: Full graduate algorithms course lectures uploaded by the instructor himself, with substantive hour-long sessions on core algorithmic topics.; title passed a strict title check; oEmbed verified.
What you'll learn
A 61-minute video from Kent Quanrud: “Boolean satisfiability”.
Video by Kent Quanrud, played through YouTube's embedded player.