|
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
• |
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
|
|
|
|