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 n Arc consistency detects failure earlier than forward checking n Can be run as a preprocessor or after each assignment