Arc Consistency
Last time, we saw forward checking
- extremely simple form of reasoning
- if variable x has value v
- & constraint involves variables x-y
- & constraint disallows x=v, y = u,
- then remove value u from domain of y
This time, look at a more complex form of reasoning
In graph theory, arc = edge
In constraints, arc will be a (directed) constraint