Please use this identifier to cite or link to this item: http://hdl.handle.net/10995/83662
Title: Synchronization of partial and non-deterministic automata: a sat-based approach : dissertation for the degree of candidate of physical and mathematical sciences : 05.13.17
Other Titles: Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.17
Authors: Shabana, H. M. D.
metadata.dc.contributor.advisor: Volkov, M. V.
Issue Date: 2020
Publisher: б. и.
Citation: Shabana H. M. D. Synchronization of partial and non-deterministic automata: a sat-based approach : dissertation for the degree of candidate of physical and mathematical sciences : 05.13.17 / H. M. D. Shabana ; [Place of defense: Ural Federal University named after the first President of Russia B.N. Yeltsin]. — Yekaterinburg, 2020. — 161 p. — Bibliography: pp. 148-158 (91 titles).
Keywords: NONDETERMINISTIC AUTOMATON
RANDOM AUTOMATON
SAT
SATSOLVER
ДИССЕРТАЦИИ
ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ
OKSVNK: 05.13.17
Thesis discipline: Теоретические основы информатики
URI: http://hdl.handle.net/10995/83662
Access: Предоставлено автором на условиях простой неисключительной лицензии
License text: http://hdl.handle.net/10995/31613
Appears in Collections:Авторефераты и диссертации

Files in This Item:
File Description SizeFormat 
urfu2147_d.pdf2,32 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.