Arc consistency
	n Simplest form of propagation makes each arc consistent n X Y is consistent iff for every value x of X there is some allowed y n If X loses a value, neighbors of X need to be (re)checked