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

Применение метода Монте-Карло для крупноблочного распараллеливания SAT-задач

Авторы: Заикин О.С., Семенов А.А.

Журнал: Материалы конф. “Ляпуновские чтения” (Иркутск, 26–28 ноября 2012г.)

Том:

Номер:

Год: 2012

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

Издательство: РИО ИДСТУ СО РАН

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

URL:

Аннотация:

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

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

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

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

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