videos

• Pre-lecture 0
• lecture 0
• No new pre-lecture video for lecture 1, we'll talk about SAT, which is introduced in the pre-lecture 0 video, starting around 8:30
• lecture 1
• pre lecture 2

slides

• Pre-lecture 0
• lecture 0
• lecture 1
• pre lecture 2
• lecture 2

demos

• N queens
• unit propagation
• subset sum