Методы решения систем дискретных уравнений над кольцом целых чисел, основанные на построении графов решений

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