Lec 5: Constraint Satisfaction, Artificial Intelligence - Alan Blair UNSW 2012