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

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

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

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

Том:

Номер: 1(11)

Год: 2011

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

Издательство:

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

URL:

Проекты:

DOI:

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

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

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

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

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

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

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

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