1)Решается задача . Если она не имеет решения, то исходная задача не имеет целочисленного решения и вычисления прекращаются.
2)Находится решение задачи , вычисляется верхняя граница . Если решение является целочисленным, то полагается и вычисления завершаются. Если решение не являются целочисленным, то полагается , k=1 и переход к пункту 3.
3)Выбирается для ветвления ν-вершина (ν), для которой выполняется.
4)Выбирается (произвольно) одна из нецелочисленных компонент , то осуществляется ветвление по переменной , составляются задачи ,.
5)Решается задача Если задача не имеет решения, то полагается , ветвление из j-той вершины прекращается, осуществляется (при j=2k) переход к пункту 7.
6)Находится . Вычисляется . Если решение является целочисленным, то полагается и осуществляется (при j=2k) переход к пункту 7. Если решение не является целочисленным, то полагается и осуществляется (при j=2k) переход к пункту 7.
7)Просматриваются вершины из I и прекращается ветвление, если выполняется .
8)Проверяется условие окончания вычислений . Если условие выполняется, то полагается , где определяется из условия . Если не выполняется, то полагается k=k+1 и переход к пункту 3.