Constraint Propagation
	• Different levels of consistency can be enforced during backtracking search. • Common usage (backtracking with arc consistency): – Variable Xi instantiated – For each Xj such that there’s a binary constraint on (Xi, Xj), update Dj – With each domain update, propagate binary constraints onward until no change