Keywords: Backjump-variables-2.svg This is the second part of the example with Image Backjump-variables-1 svg if inconsistency is only due to the values of x1x2 there is no need to change value to x4 or even x3 and the algorithm can backjump to x2 changing its value Constraint satisfaction 2006-02-08 own assumed Tizio |