Параллельная технология решения SAT-задач и ее реализация в виде пакета прикладных программ

Оглавление
Введение.
Глава 1. 8АТзадачи и основные технологии, используемые при их решении
1.1. Постановка БАТзадач. Сведение задач обращения дискретных функций
к БАТзадачам
1.2. Методы и алгоритмы решения БАТзадач
1.3. Области применения БАТзадач
Глава 2. Технология крупноблочного параллелизма в решении 8АТзадач
2.1. Методы параллельного решения 8АТзадач
2.2. Крупноблочный параллелизм в 8АТзадачах.
2.3. Прогнозирование времени параллельного решения БАТзадач.
2.4. Схемы формирования декомпозиционных множеств
Глава 3. Пакет прикладных программ ИБАТ и вычислительные эксперименты.
3.1. Описание пакета прикладных программ ИБАТ.
3.1.1. Библиотека программ пакега ББАТ
3.1.2. Режимы работы пакета ЭБАТ
3.1.3. Дополнительные аспекты пакета ББАТ.
3.2. Параллельный логический криптоанализ некоторых генераторов ключевого потока.
3.2.1. Особенности пропозиционального кодирования генераторов ключевого потока.
3.2.1. Криптоанализ генератора Гиффорда
3.2.2. Криптоанализ суммирующего генератора
3.2.3. Криптоанализ порогового генератора
3.2.4. Прогнозирование трудоемкости параллельного логического криптоанализа генератора А51
Заключение
Список использованной литературы