Introducing backtracking
Instead of always incrementing x1”Ēs digit, increment the lowest digit that is included in unsatisfied clauses.
Performance becomes similar to the backtracking algorithm.
x4 x3 x2 x1
0 0 0 0 C3
0 0 1 0 C1
0 0 1 1 C2
0 1 0 0 solution!
C3
C1
C2
Prev
Next
Top
With Graphics