UNB/ CS/ David Bremner/ teaching/ cs3383/ lectures/ Unit 5: Backtracking and SAT

slides