Preprocessing Strategies
Even FC-CBJ is O(b^d) time worst case
Sometimes useful to spend polynomial time preprocessing to achieve local consistency before doing exponential search
Arc consistency
- Consider all pairs of vars
- Can any values be eliminated from a domain ala FC
- Propagate
- O(d^2) time where d= number of vars