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

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

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

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

Том:

Номер:

Год: 2014

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

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

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

URL:

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

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

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

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

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

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