Forward Checking (FC)
Perform Consistency Check Forward
Whenever assign var a value
- Prune inconsistent values from
- As-yet unvisited variables
- Backtrack if domain of any var ever collapses
FC only visits consistent nodes
skips (2, 5, 3, 4) which CBJ visits
(2, 5, 3) inconsistent with {x5, x6 }