Keywords: Backjump-collect.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 2006-02-20 own assumed Tizio |