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

Shabana, H. M. D.

Please use this identifier to cite or link to this item: http://elar.urfu.ru/handle/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://elar.urfu.ru/handle/10995/83662
Access:	Предоставлено автором на условиях простой неисключительной лицензии
License text:	http://elar.urfu.ru/handle/10995/31613
Appears in Collections:	Авторефераты и диссертации

Files in This Item:

File	Description	Size	Format
urfu2147_d.pdf		2,32 MB	Adobe PDF	View/Open

Show full item record Google Scholar