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

Гибридный SAT+ROBDD логический вывод в задачах обращения дискретных функций

Авторы: Семенов А.А., Игнатьев А.С., Беспалов Д.В.

Журнал: Тез. докл. VIII Рос. конф. с междунар. участием “Новые информ. технологии в исследовании сложных структур” (ICAM)

Том:

Номер:

Год: 2010

Отчётный год: 2010

Издательство:

Местоположение издательства: Томск

URL:

Проекты:

DOI:

Аннотация:

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

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

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

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

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

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

Публикация в печати: 0