Introducing forward checking/unit resolution
Instead of checking the current value (0 or 1) only, check both values (0 and 1) concurrently.
If a variable is constrained by higher digit variables, assume that the variable value is determined (do not change it unless the higher digit is changed).
- can be implemented by recording the higher digit constraining the variable(unit value)
Performance becomes similar to forward checking/unit resolution.