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

Параллельная технология решения SAT-задач с применением пакета прикладных программ D-SAT

Тип публикации: Статья в журнале

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

Авторы: 3аикин О.С., Семенов А.А., Сидоров И.А., Феоктистов А.Г.

Журнал: Вестник ТГУ. Приложение

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

Номера страниц: 83-95

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

Номер: 23

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

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

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

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

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

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

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

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