Страница публикации
Алгоритмы построения декомпозиционных множеств для крупноблочного распараллеливания SAT-задач
Авторы: Семенов А.А., Заикин О.С.
Журнал: Известия Иркутского гос. ун-та. Сер. Математика
Том: 5
Номер: 4
Год: 2012
Отчётный год: 2012
Издательство:
Местоположение издательства:
URL:
Аннотация:
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 1
Публикация в печати: 0
Добавил в систему: