Прикладная дискретная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


ПДМ:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Прикладная дискретная математика, 2010, номер 1(7), страницы 86–104 (Mi pdm164)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Вычислительные методы в дискретной математике

Алгоритмы работы с ROBDD как с базами булевых ограничений

А. С. Игнатьев, А. А. Семенов

Институт динамики систем и теории управления СО РАН, г. Иркутск, Россия
PDF полного текста (689 kB) Список цитирования (1)
Список литературы:
PDF
HTML
Аннотация: Исследуются алгоритмические свойства сокращенных упорядоченных диаграмм решений (ROBDD) при их рассмотрении в роли баз булевых ограничений в гибридном (SAT+ROBDD)-выводе. Приведены ROBDD-аналоги основных алгоритмических процедур, используемых в DPLL-выводе (подстановки, правило единичного дизъюнкта, CL-процедура, механизмы отсроченных вычислений). Описан новый алгоритм изменения порядка в ROBDD. Для всех алгоритмов приводятся оценки их трудоемкости.
Ключевые слова: логические уравнения, двоичные диаграммы решений, гибридный вывод.
Тип публикации: Статья
УДК: 519.7
Образец цитирования: А. С. Игнатьев, А. А. Семенов, “Алгоритмы работы с ROBDD как с базами булевых ограничений”, ПДМ, 2010, № 1(7), 86–104
Цитирование в формате AMSBIB
\RBibitem{IgnSem10}
\by А.~С.~Игнатьев, А.~А.~Семенов
\paper Алгоритмы работы с~ROBDD как с~базами булевых ограничений
\jour ПДМ
\yr 2010
\issue 1(7)
\pages 86--104
\mathnet{http://mi.mathnet.ru/pdm164}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/pdm164
  • https://www.mathnet.ru/rus/pdm/y2010/i1/p86
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Прикладная дискретная математика
    Статистика просмотров:
    Страница аннотации:461
    PDF полного текста:239
    Список литературы:47
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024