As a result, this is not exactly an algorithm, but rather a family of algorithms, one for each possible way of choosing the branching literal.
Као резултат тога, ово није баш алготитам, већ фамилија алгоритама, један за сваки могући начин избора литерала гранања.