Other Strategies
CBJ
- More sophisticated backjumping behavior
- Each variable has conflict set CS
- Set of vars that failed consistency checks w/ current val
- Discovers (2, 5, 3) inconsistent with {x5, x6 }
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