Алгоритмы решения систем $k$-значных уравнений, использующие построение орграфа решений

Ранее (см. [1,2]) исследовались алгоритмы построения орграфа решений и бесповторного перебора решений системы булевых уравнений, использующие сведение к задаче поиска кратчайших путей на подходящем орграфе. Полученные результаты здесь переносятся на $k$-значный случай.