Three Design Principles
The simplification hypothesis
- Try to choose variables which will simplify the problem as much as possible via unit propagation
- Motivation: search is exponential in the size of the problem so making the problem small quickly minimizes search
Let’s look at 3 heuristics based on these principles
- not wildly different from each other
- often different principles give similar heuristics