CSC2512S
Constraint Satisfaction Problems
Fahiem Bacchus
Winter 2007