Страница публикации

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

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Семенов А.А., Игнатьев А.С.

Журнал: Прикладная дискретная математика. Приложение

Язык публикации: russian

Номера страниц: 118-120

Количество страниц: 3

Номер: 5

Год публикации: 2012

Отчетный год: 2012

Аннотация: In the paper, the authors consider a new property of a hybrid SAT+ROBDD-derivation. This property consists in a convergence with respect to the number of paths to a terminal vertex "1" in a ROBDD which represents database of conflicts accumulated during the process of non-chronological DPLL.

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет