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

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

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

Журнал: Материалы V Междунар. конф. “Параллельные вычисления и задачи управления” (Москва, 26–28 октября 2010 г.

Том:

Номер:

Год: 2010

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

Издательство: ИПУ РАН

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

URL:

Проекты:

DOI:

Аннотация:

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

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

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

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

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

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

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