Введение
Глава 1. SAT-задачи и основные технологии, используемые при их решении 12
1.1. Постановка SAT-задач. Сведение задач обращения дискретных функций к SAT-задачам 12
1.2. Методы и алгоритмы решения SAT-задач 20
1.3. Области применения SAT-задач 33
Глава 2. Технология крупноблочного параллелизма в решении SAT- задач 39
2.1. Методы параллельного решения SAT-задач 39
2.2. Крупноблочный параллелизм в SAT-задачах 41
2.3. Прогнозирование времени параллельного решения SAT-задач 46
2.4. Схемы формирования декомпозиционных множеств 54
Глава 3. Пакет прикладных программ D-SAT и вычислительные эксперименты 65
3.1. Описание пакета прикладных программ D-SAT 65
3.1.1. Библиотека программ пакета D-SAT 68
3.1.2. Режимы работы пакета D-SAT 70
3.1.3. Дополнительные аспекты пакета D-SAT 74
3.2. Параллельный логический криптоанализ некоторых генераторов ключевого потока 82
3.2.1. Особенности пропозиционального кодирования генераторов ключевого потока 82
3.2.1. Криптоанализ генератора Гиффорда 86
3.2.2. Криптоанализ суммирующего генератора 89
3.2.3. Криптоанализ порогового генератора 92
3.2.4. Прогнозирование трудоемкости параллельного логического криптоанализа генератора А5/1 96
Заключение 102
Список использованной литературы 103
Приложение 1. Подход к формированию истинно случайных последовательностей 114
