CSE 373 --- Lecture 20: Satisfiability (Fall 2021)
youtube.com