Предложены алгоритмы построения минимального порождающего множества решений систем линейных однородных уравнений в множестве натуральных чисел и базиса множества решений системы линейных однородных и неоднородных диофантовых уравнений в кольцах и полях вычетов по модулю некоторого числа. Эти алгоритмыы рассматриваются в контексте решения проблемы выполнимости системы ограничений.

Інженерія програмного забезпечення [Текст] : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет // Інженерія програмного забезпечення. 2 ; Мінстерство освіти і науки України національний авіаційний університет - К. — К., 2014.

• УДК // Кібернетичні питання теорії алгоритмів. Універсальні машини