I plan to discuss CSP and SAT solving techniques tomorrow. The relevant textbook sections are: 5.1--5.3; 7.6 Please read them before coming Rao