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.
