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

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

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

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

Том:

Номер:

Год: 2010

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

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

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

URL:

Аннотация:

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

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

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

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

Добавил в систему: