Страница публикации
О сходимости гибридного SAT+ROBDD гибридного логического вывода
Авторы: Семенов А.А., Игнатьев А.С.
Журнал: Прикладная дискретная математика. Приложение
Том:
Номер: 5
Год: 2012
Отчётный год: 2012
Издательство:
Местоположение издательства:
URL:
Аннотация: 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: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 1
Публикация в печати: 0
Добавил в систему: