Методы и инструментальные средства программирования в булевых ограничениях

Содержание
ВВЕДЕНИЕ
ГЛАВА 1. МЕТОДЫ И ПРОГРАММНЫЕ СРЕДСТВА РЕШЕНИЯ ЗАДАЧ УДОВЛЕТВОРЕНИЯ ОГРАНИЧЕНИЙ С КОНЕЧНЫМИ ОБЛАСТЯМИ ЗНАЧЕНИЙ ПЕРЕМЕННЫХ ОБЗОР
1.1. Основные понятия и определенияи
1.2. Классификация задач удовлетворения ограничений с конечными
ОБЛАСТЯМИ И АЛГОРИТМОВ ИХ РЕШЕНИЯ.
1.3. Оценка эффективности алгоритмов
1.4. Инструментальные средства автоматизации программирования в
БУЛЕВЫХ ОГРАНИЧЕНИЯХ
ГЛАВА 2. АЛГОРИТМЫ РЕШЕНИЯ ЗАДАЧИ ВЫПОЛНИМОСТИ БУЛЕВЫХ ОГРАНИЧЕНИЙ
2.1. Базовый алгоритм.зз
2.2. Усовершенствованный алгоритм.зз
2.3. Гибридный алгоритм.
2.4. Сравнительный анализ разработанных алгоритмов
ГЛАВА 3. АВТОМАТИЗАЦИЯ ПОСТРОЕНИЯ БУЛЕВЫХ МОДЕЛЕЙ ДИСКРЕТНЫХ ЗАДАЧ
3.1. Средства спецификации булевых ограничений в международном
ФОРМАТЕ I И ЕГО РАСШИРЕНИЯХ
3.2. Булевы модели некоторых дискретных задач.
3.3. Технология булева моделирования дискретных задач.
3.4. Высокоуровневые языковые средства задания булевых
ОГРАНИЧЕНИЙ в ИНСТРУМЕНТАЛЬНОМ КОМПЛЕКСЕ РЕБУС
ГЛАВА 4. ИНТЕГРИРОВАННАЯ ИНСТРУМЕНТАЛЬНАЯ ВИЗУАЛЬНАЯ СРЕДА РЕБУС ДЛЯ АВТОМАТИЗАЦИИ ПРОГРАММИРОВАНИЯ И РЕШЕНИЯ ЗАДАЧ В БУЛЕВЫХ ОГРАНИЧЕНИЯХ
4.1. Постановка задачи и основные функциональные требования к
ИНСТРУМЕНТАЛЬНОМУ КОМПЛЕКСУ РЕБУС.
4.2. Концептуальная модель, принципы организации и архитектура
ИНСТРУМЕНТАЛЬНОГО КОМПЛЕКСА РЕБУС.
4.3. Архитектура и функциональные возможности подсистем
ИНСТРУМЕНТАЛЬНОГО КОМПЛЕКСА РЕБУС.
4.4. Визуальный пользовательский интерфейс и основные аспекты
ПРОГРАММНОЙ РЕАЛИЗАЦИИ ИК РЕБУС.
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ