videos

• Pre-lecture 0
• pre lecture 1

slides

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

demos

• N queens
• unit propagation
• subset sum
• sat
• sat with unit propagation

Reading

• Backtracking Erickson Chapter 2
• Satisfiability: §21.5 Roughgarden
• Horn Clauses §5.3 Dasgupta et al. "Algorithms"
  • see also §1.19 in Handbook of Satisfiability
• Unit propagation
  • see also §3.5.2 in Handbook of Satisfiability
• 2SAT Ex. 3.28 in Dasgupta et al.
  • see also §1.19 in Handbook of Satisfiability