durch Hyperkanten-Inferenz kann man Konflikte feststellen:
Bsp. (x1 + x2 < x3) mit D1 = {1, 2}, D2 = {1, 2}, D3 = {0, 1}
Arc_Consistency_Deduction { atom = x1 +x2 < x3 , variable = x3, restrict_to = [ ] }es wird ein failed-state erreicht ( dom(x3) = ∅)
danach ist Backtrack
möglich.
(das ist die einzige Möglichkeit der Konflikt-Feststellung in autotool-Aufgabe)