3 Resultaten gevonden voor "Bestand:Backtracking-no-backjumping.svg".

Bestand:Backtracking-no-backjumping.svg

DescriptionBacktracking-no-backjumping.svg A search tree as visited by regular backtracking (no backjumping). The other image Image:Backtracking-with-backjumping...


Bestand:Backtracking-with-backjumping.svg

DescriptionBacktracking-with-backjumping.svg This image shows a possible backjump, where a node (the grey one) is skipped. Regular backtracking instead proceed...


Bestand:Backjump-variables-1.svg

DescriptionBackjump-variables-1.svg An example of backjumping: in this case, all assignments to x5 have been proved inconsistent with the current value...