How can we design better heuristics
All the basic heuristics listed are unlikely to make the best choice except by good luck
We want to choose variables likely to finish search quickly
How can we design heuristics to do this?
- Pick variables occurring in lots of clauses?
- Prefer short clauses (AB) or long clauses (ABCDEFG) ?
- Pick variables occurring more often positively??
We need some design principles underlying our search