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

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

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

Журнал: Сб. материалов XIV Междунар. научн.-техн. конф. "Распознавание-2018" (Курск, 25-28 сентября 2018 г.)

Том:

Номер:

Год: 2018

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

Издательство: Юго-Западный гос. ун-т

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

URL:

Аннотация: Показано, что ряд трудных экземпляров задачи булевой выполнимости может быть решен быстрее, если к исходной конъюнктивной нормальной форме добавить новые ограничения, полученные с помощью метода опорных векторов.

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

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

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

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

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