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

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

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

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

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

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

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

Номера страниц: 7361-7374

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

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

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

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

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

Адрес издателя: Москва

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

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

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

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

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

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

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

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