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

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

Тип публикации: Материал конференции

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

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

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

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

Номера страниц: 85

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

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

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

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

Адрес издателя: Томск

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

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

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

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

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

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