No-commitment Search
We can try hard to avoid guessing universals
Set them as unknown initially
Treat all literals as false if value = unknown
- Attempt to solve without choosing value
- Only forced to choose a value on backtracking
- for universal values not solved by existentials