•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
