Применение SAT-решателей к задачам синхронизации недетерминированных автоматов

Результат исследований: Вклад в журналСтатьяНаучно-исследовательскаярецензирование

Аннотация

Рассматриваются подходы к задаче вычисления кратчайшего D3-синхронизирующего для данного недетерминированного автомата через ее сведение к задаче выполнимости (SAT) и использования SAT-решателя. Представлены некоторые экспериментальные результаты.
Переведенное названиеПрименение SAT-решателей к задачам синхронизации недетерминированных автоматов
Язык оригиналаАнглийский
Страницы (с-по)1426-1442
Число страниц17
ЖурналSiberian Electronic Mathematical Reports
Том15
DOI
СостояниеОпубликовано - 1 янв 2018

Отпечаток

Automata
Encoding
Synchronization
Computing
Experimental Results

Ключевые слова

    Предметные области ASJC Scopus

    • Mathematics(all)

    Предметные области WoS

    • Математика

    ГРНТИ

    • 27.00.00 МАТЕМАТИКА

    Уровень публикации

    • Перечень ВАК

    Цитировать

    @article{327bb09673e740e692fd96f39e6190b5,
    title = "Using sat solvers for synchronization issues in non-deterministic automata",
    abstract = "Рассматриваются подходы к задаче вычисления кратчайшего D3-синхронизирующего для данного недетерминированного автомата через ее сведение к задаче выполнимости (SAT) и использования SAT-решателя. Представлены некоторые экспериментальные результаты.",
    keywords = "Nondeterministic automaton, Random automaton, SAT, SATsolver, Synchronizing word",
    author = "Volkov, {Mikhail V.} and H. Shabana",
    year = "2018",
    month = "1",
    day = "1",
    doi = "10.17377/semi.2018.15.117",
    language = "English",
    volume = "15",
    pages = "1426--1442",
    journal = "Siberian Electronic Mathematical Reports",
    issn = "1813-3304",
    publisher = "Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук",

    }

    Using sat solvers for synchronization issues in non-deterministic automata. / Volkov, Mikhail V.; Shabana, H.

    В: Siberian Electronic Mathematical Reports, Том 15, 01.01.2018, стр. 1426-1442.

    Результат исследований: Вклад в журналСтатьяНаучно-исследовательскаярецензирование

    TY - JOUR

    T1 - Using sat solvers for synchronization issues in non-deterministic automata

    AU - Volkov, Mikhail V.

    AU - Shabana, H.

    PY - 2018/1/1

    Y1 - 2018/1/1

    N2 - Рассматриваются подходы к задаче вычисления кратчайшего D3-синхронизирующего для данного недетерминированного автомата через ее сведение к задаче выполнимости (SAT) и использования SAT-решателя. Представлены некоторые экспериментальные результаты.

    AB - Рассматриваются подходы к задаче вычисления кратчайшего D3-синхронизирующего для данного недетерминированного автомата через ее сведение к задаче выполнимости (SAT) и использования SAT-решателя. Представлены некоторые экспериментальные результаты.

    KW - Nondeterministic automaton

    KW - Random automaton

    KW - SAT

    KW - SATsolver

    KW - Synchronizing word

    UR - http://www.scopus.com/inward/record.url?scp=85058414946&partnerID=8YFLogxK

    UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000454860200059

    UR - https://elibrary.ru/item.asp?id=36998740

    U2 - 10.17377/semi.2018.15.117

    DO - 10.17377/semi.2018.15.117

    M3 - Article

    VL - 15

    SP - 1426

    EP - 1442

    JO - Siberian Electronic Mathematical Reports

    JF - Siberian Electronic Mathematical Reports

    SN - 1813-3304

    ER -