Download:
backjump_collect_svg.jpg
This image was acquired from
wikimedia. It was marked as Public Domain or CC0 and is free to use. To verify, go to the source and check the information there.
Keywords from Image Description:
Backjumpcollect.svg Backjumping can be done by collecting in each node all variables that are sufficient to prove inconsistency in all leaves of its subtree This collection is removed the variable of the node and sent to the parent or ancestor if backjumping Constraint satisfaction own assumed Tizio