1. Электронный научный архив УрФУ
  2. 00. Общеуниверситетские коллекции
  3. Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://elar.urfu.ru/handle/10995/101649
Полная запись метаданных
Поле DCЗначениеЯзык
dc.contributor.authorShabana, H.en
dc.contributor.authorVolkov, M. V.en
dc.date.accessioned2021-08-31T14:58:38Z-
dc.date.available2021-08-31T14:58:38Z-
dc.date.issued2019-
dc.identifier.citationShabana H. Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata / H. Shabana, M. V. Volkov. — DOI 10.1007/978-3-030-33394-2_9 // Communications in Computer and Information Science. — 2019. — Vol. 1090 CCIS. — P. 103-118.en
dc.identifier.isbn9783030333935-
dc.identifier.issn18650929-
dc.identifier.otherFinal2
dc.identifier.otherAll Open Access, Green3
dc.identifier.otherhttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85076254945&doi=10.1007%2f978-3-030-33394-2_9&partnerID=40&md5=c600d442c7506da40e48c8d624fc1d1f
dc.identifier.otherhttp://arxiv.org/pdf/1903.10549m
dc.identifier.urihttp://elar.urfu.ru/handle/10995/101649-
dc.description.abstractWe approach the task of computing a carefully synchronizing word of minimum length for a given partial deterministic automaton, encoding the problem as an instance of SAT and invoking a SAT solver. Our experimental results demonstrate that this approach gives satisfactory results for automata with up to 100 states even if very modest computational resources are used. © 2019, Springer Nature Switzerland AG.en
dc.format.mimetypeapplication/pdfen
dc.language.isoenen
dc.publisherSpringer Science and Business Media Deutschland GmbHen
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.sourceCommunications in Computer and Information Scienceen
dc.subjectCAREFUL SYNCHRONIZATIONen
dc.subjectCAREFULLY SYNCHRONIZING WORDen
dc.subjectDETERMINISTIC AUTOMATONen
dc.subjectNONDETERMINISTIC AUTOMATONen
dc.subjectPARTIAL DETERMINISTIC AUTOMATONen
dc.subjectSATen
dc.subjectSAT SOLVERen
dc.subjectAUTOMATA THEORYen
dc.subjectDECISION THEORYen
dc.subjectMODEL CHECKINGen
dc.subjectOPERATIONS RESEARCHen
dc.subjectOPTIMIZATIONen
dc.subjectSYNCHRONIZATIONen
dc.subjectCOMPUTATIONAL RESOURCESen
dc.subjectDETERMINISTIC AUTOMATAen
dc.subjectNONDETERMINISTIC AUTOMATAen
dc.subjectSAT SOLVERSen
dc.subjectSYNCHRONIZING WORDSen
dc.subjectROBOTSen
dc.titleUsing Sat Solvers for Synchronization Issues in Partial Deterministic Automataen
dc.typeConference Paperen
dc.typeinfo:eu-repo/semantics/conferenceObjecten
dc.typeinfo:eu-repo/semantics/publishedVersionen
dc.identifier.doi10.1007/978-3-030-33394-2_9-
dc.identifier.scopus85076254945-
local.contributor.employeeShabana, H., Faculty of Electronic Engineering, Menoufia University, Menouf, Egypt, Institute of Natural Sciences and Mathematics, Ural Federal University, Ekaterinburg, Russian Federation
local.contributor.employeeVolkov, M.V., Institute of Natural Sciences and Mathematics, Ural Federal University, Ekaterinburg, Russian Federation
local.description.firstpage103-
local.description.lastpage118-
local.volume1090 CCIS-
local.contributor.departmentFaculty of Electronic Engineering, Menoufia University, Menouf, Egypt
local.contributor.departmentInstitute of Natural Sciences and Mathematics, Ural Federal University, Ekaterinburg, Russian Federation
local.identifier.pure11445972-
local.identifier.pure9aaf9b4b-cdd2-4ec9-9e4b-1725edee5fa8uuid
local.identifier.eid2-s2.0-85076254945-
Располагается в коллекциях:Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC

Файлы этого ресурса:
Файл Описание РазмерФормат 
2-s2.0-85076254945.pdf193,49 kBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса Статистика  Google Scholar





Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.