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