Simplification Hypothesis
We want to simplify problem as much as possible
- I.e. get biggest possible cascade of unit propagation
One approach is to suck it and see
- make an assignment, see how much unit propagation occurs,
- after testing all assignments, choose the one which caused the biggest cascade
- exhaustive version is expensive (2n probes necessary)
- Successful variants probe a small number of promising variables (e.g. from most constrained heuristic)