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

Технология трансляции комбинаторных проблем в булевы уравнения

Тип публикации: Статья в журнале

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

Авторы: Отпущенников И.В., Семенов А.А.

Журнал: Прикладная дискретная математика

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

Номера страниц: 96-115

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

Номер: 1(11)

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

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

Аннотация: Рассматриваются проблемы сведения некоторых комбинаторных задач к задачам поиска решений булевых уравнений. Приведены теоретические результаты, являющиеся базой технологии пропозиционального кодирования алгоритмов, вычисляющих дискретные функции. Описан программный комплекс Transalg - многофункциональный транслятор комбинаторных проблем в булевы уравнения. Приведены примеры использования комплекса Transalg для сведения задач криптоанализа к SAT-задачам. Рассмотрены основы техники трансляции оптимизационных задач 0-1-ЦЛП в SAT-задачи.

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

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

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

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

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

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