Keywords: Backtracking-arc-consistency.svg An example of a constraint satisfaction problem where choosing the value of the first variable leads to inconsistency even if the problem itself is arc consistent Constraint satisfaction 2006-02-10 own assumed Tizio Backtracking |