Adding Arc Consistency (AC3) to CSP Backtracking 

Only binary constraints are used for arc consistency in CPS