Arc Consistency
	• Arc consistent – Node consistent, and – " variables Xi, Xj • " instantiations of Xi, – $ an instantiation of Xj obeying binary constraints between Xi, Xj • Example: If NY green, domains have only values respecting unary constraints, and lacking green for adjacent states.