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

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

Тип публикации: Материал конференции

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

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

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

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

Номера страниц: 117-119

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

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

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

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

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

Адрес издателя: Курск

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

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

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

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

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

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

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

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