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

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

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


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




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

Сибирские электронные математические известия, 2018, том 15, страницы 1426–1442
DOI: https://doi.org/10.17377/semi.2018.15.117 (Mi semr1005) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Дискретная математика и математическая кибернетика

Using SAT solvers for synchronization issues in non-deterministic automata

H. Shabanaab, M. V. Volkovb

a Faculty of Electronic Engineering, Menoufia University, Egypt
b Institute of Natural Sciences and Mathematics, Ural Federal University, Lenina 51, 620000 Yekaterinburg, Russia
PDF полного текста (263 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17377/semi.2018.15.117
Аннотация: We approach the problem of computing a $D_{3}$-synchronizing word of minimum length for a given nondeterministic automaton via its encoding as an instance of SAT and invoking a SAT solver. We also present some experimental results.
Ключевые слова: nondeterministic automaton, synchronizing word, SAT, SAT-solver, random automaton.
Финансовая поддержка Номер гранта
Министерство образования и науки Российской Федерации 1.3253.2017
Supported by the Ministry of Education and Science of the Russian Federation, project no. 1.3253.2017, and the Competitiveness Enhancement Program of Ural Federal University.
Поступила 15 января 2018 г., опубликована 15 ноября 2018 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.713.1, 510.633
MSC: 68Q45
Язык публикации: английский
Образец цитирования: H. Shabana, M. V. Volkov, “Using SAT solvers for synchronization issues in non-deterministic automata”, Сиб. электрон. матем. изв., 15 (2018), 1426–1442
Цитирование в формате AMSBIB
\RBibitem{ShaVol18}
\by H.~Shabana, M.~V.~Volkov
\paper Using SAT solvers for synchronization issues in non-deterministic automata
\jour Сиб. электрон. матем. изв.
\yr 2018
\vol 15
\pages 1426--1442
\mathnet{http://mi.mathnet.ru/semr1005}
\crossref{https://doi.org/10.17377/semi.2018.15.117}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000454860200059}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1005
  • https://www.mathnet.ru/rus/semr/v15/p1426
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:201
    PDF полного текста:45
    Список литературы:38
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024