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

В процессе решения системы дискретных уравнений строится комбинаторный объект, называемый ее графом решений. Графы решений систем булевых уравнений и уравнений $k$-значной логики уже рассматривались ранее. В данной работе используется иной алгоритм их построения, что расширяет область применимости таких методов.