Lecture 7

Slides and Topics

Today is a flipped lecture on SAT. This lecture will prepare you for problem 3 of assignment 2.

Watch the following videos. The cover slides 1-29 of SAT-intro and slides 1-4 of SAT-CDCL.

• SAT1.pdf (SAT1.mp4)
• SAT2.pdf (SAT2.mp4)
• SAT3.pdf (SAT3.mp4)
• SAT4.pdf (SAT4.mp4)
• SAT5.pdf (SAT5.mp4)

Reading Material

The textbook does not cover SAT, but the following resources are helpful.

• Boolean satisfiability from theoretical hardness to practical success
• The Handbook of Satisfiability Section 2.2.2. This book is available online at the University Library.
• Jakob Nordström has a number of excellent tutorial videos on SAT, including PDF, video.