NPTEL Video Course : Topics In Theoretical Computer Science (2023)

Lecture 3 - SAT Solvers