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

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

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

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

Том:

Номер: 1(11)

Год: 2011

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

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

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

URL:

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

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

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

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

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

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