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