DOI

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

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

  • Математика

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

  • Mathematics(all)

    ГРНТИ

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

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

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

ID: 8417470