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

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

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


Автомат. и телемех.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Автоматика и телемеханика, 2016, выпуск 4, страницы 84–98 (Mi at14433)  
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Системный анализ и исследование операций

Об одном классе решающих диаграмм

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

Институт динамики систем и теории управления СО РАН, Иркутск
PDF полного текста (252 kB) Список цитирования (3)
Список литературы:
PDF
HTML
Аннотация: Вводится класс решающих диаграмм, предназначенных для представления нормальных форм булевых функций. В частности, рассматриваются дизъюнктивные диаграммы, представляющие дизъюнктивные нормальные формы (ДНФ). В отличие от двоичных решающих диаграмм (BDD, ROBDD), для произвольной ДНФ представляющая ее дизъюнктивная диаграмма строится за полиномиальное от объема двоичного кода ДНФ время. Описаны соответствующие алгоритмы. Приведены результаты вычислительных экспериментов, в которых предложенные диаграммы используются для уменьшения объема информации, накапливаемой в процессе решения трудных вариантов задачи о булевой выполнимости (SAT).
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 14-07-00403
14-07-31172мол
16-07-00155
15-07-07891
Министерство образования и науки Российской Федерации СП-3667.2013.5
Работа выполнена при частичной поддержке грантов Российского фонда фундаментальных исследований № 14-07-00403, № 14-07-31172мол, № 16-07-00155, № 15-07-07891, стипендии Президента РФ СП-3667.2013.5.
Статья представлена к публикации членом редколлегии: А. А. Лазарев

Поступила в редакцию: 25.06.2014
Англоязычная версия:
Automation and Remote Control, 2016, Volume 77, Issue 4, Pages 617–628
DOI: https://doi.org/10.1134/S000511791604007X
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: А. А. Семенов, И. В. Отпущенников, “Об одном классе решающих диаграмм”, Автомат. и телемех., 2016, № 4, 84–98; Autom. Remote Control, 77:4 (2016), 617–628
Цитирование в формате AMSBIB
\RBibitem{SemOtp16}
\by А.~А.~Семенов, И.~В.~Отпущенников
\paper Об одном классе решающих диаграмм
\jour Автомат. и телемех.
\yr 2016
\issue 4
\pages 84--98
\mathnet{http://mi.mathnet.ru/at14433}
\elib{https://elibrary.ru/item.asp?id=25996304}
\transl
\jour Autom. Remote Control
\yr 2016
\vol 77
\issue 4
\pages 617--628
\crossref{https://doi.org/10.1134/S000511791604007X}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000376122500007}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84966270154}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/at14433
  • https://www.mathnet.ru/rus/at/y2016/i4/p84
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Автоматика и телемеханика
    Статистика просмотров:
    Страница аннотации:221
    PDF полного текста:58
    Список литературы:52
    Первая страница:22
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024