|
Труды по дискретной математике, 2006, том 9, страницы 308–339
(Mi tdm151)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Методы решения систем дискретных уравнений, основанные на построении графа решений
В. Г. Смирнов
Аннотация:
В процессе решения системы дискретных уравнений строится комбинаторный объект, называемый ее графом решений. Графы решений систем булевых уравнений и уравнений $k$-значной логики уже рассматривались ранее. В данной работе используется иной алгоритм их построения, что расширяет область применимости таких методов.
Образец цитирования:
В. Г. Смирнов, “Методы решения систем дискретных уравнений, основанные на построении графа решений”, Тр. по дискр. матем., 9, Гелиос АРВ, М., 2006, 308–339
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tdm151 https://www.mathnet.ru/rus/tdm/v9/p308
|
|