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
No machine-readable source provided. Own work assumed (based on copyright claims).
No machine-readable author provided. Tizio assumed (based on copyright claims).