Вычислительные методы в дискретной математике

О сходимости гибридного SAT+ROBDD-логического вывода

А. А. Семенов^a, А. С. Игнатьев<sup>b

a</sup> Лаборатория дискретного анализа и прикладной логики Института динамики систем и теории управления СО РАН, г. Иркутск
^b Институт вычислительных систем и компьютерной инженерии, г. Лиссабон, Португалия

УДК: 519.7