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

Применение методов оптимизации для параллельного решения трудных экземпляров проблемы булевой выполнимости

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

Журнал: Материалы конф. "Ляпуновские чтения"

Том:

Номер:

Год: 2019

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

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

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

URL:

Проекты:

DOI:

Аннотация:

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

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

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

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

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

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

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