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.
Таким образом, это не один алгоритм, а целое семейство алгоритмов, по одному на каждый возможный способ выбора «переменных ветвления».