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

Применение алгоритмов решения проблемы булевой выполнимости (SAT) к комбинаторным задачам

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

Журнал: Тр. XII Всерос. совещания по проблемам управления (ВСПУ, Москва, 16-19 июля 2014 г.)

Том:

Номер:

Год: 2014

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

Издательство: ИПУ РАН,

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

URL:

Проекты:

DOI:

Аннотация: Доклад представляет собой обзор результатов по применению к комбинаторным задачам из различных областей алгоритмов решения проблемы булевой выполнимости (SAT). Основное внимание уделено задачам, исследовавшимся авторским коллективом на протяжении последних нескольких лет.

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

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

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

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

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

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

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