In particular, the algorithm collects, in each node, all sets coming from its descendants that have not been skipped by backjumping.
Нарочито, алгоритам прикупља, у сваком чвору, све скупове који долазе од њихових потомака који нису били прескочени нехронолошким враћањем.