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

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

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

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

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

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

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

Номера страниц: 897–904

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

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

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

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

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

Адрес издателя: Москва

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

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

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

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

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

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

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