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

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

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

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

Том:

Номер:

Год: 2010

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

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

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

URL:

Аннотация:

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

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

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

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

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