Страница публикации
Программа для решения трудных экземпляров проблемы булевой выполнимости с применением метода опорных векторов
Тип публикации: Авторское свидетельство
Тип материала: Текст
Авторы: Заикин О.С., Кочемазов С. Е.
Язык публикации: russian
Номер: 2018662565
Год публикации: 2018
Дата публикации: 10.10.2018
Отчетный год: 2018
Индексируется WOS: Нет
Индексируется Scopus: Нет
Индексируется УБС: Нет
Индексируется РИНЦ: Нет
Индексируется ВАК: Нет
Индексируется CORE: Нет
Export Citations