CSP Yaron Kassner Winter 2013. Reminder Arc Consistency: the domains of pairs of variables are consistent. k-consistency: the domains of every k variables.
