Keywords: Backjump-variables-1.svg An example of backjumping in this case all assignments to x5 have been proved inconsistent with the current value of x1 x4 Normally backtracking would change the value of x4 The next image Image Backjump-variables-2 svg shows the case in which the value of x4 is actually irrelevant Constraint satisfaction 2006-02-08 own assumed Tizio Backtracking |