DescriptionBacktracking-no-backjumping.svg A search tree as visited by regular backtracking (no backjumping). The other image Image:Backtracking-with-backjumping...
DescriptionBacktracking-with-backjumping.svg This image shows a possible backjump, where a node (the grey one) is skipped. Regular backtracking instead proceed...
DescriptionBackjump-variables-1.svg An example of backjumping: in this case, all assignments to x5 have been proved inconsistent with the current value...
