Dissertation/ Thesis
Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17
| Title: | Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 |
|---|---|
| Contributors: | Волков, М. В. |
| Publisher Information: | б. и., 2020. |
| Publication Year: | 2020 |
| Subject Terms: | NONDETERMINISTIC AUTOMATON, RANDOM AUTOMATON, SAT, SATSOLVER, ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ, АВТОРЕФЕРАТЫ, 05.13.17 |
| Document Type: | Thesis |
| File Description: | application/pdf |
| Language: | Russian |
| Access URL: | http://elar.urfu.ru/handle/10995/84648 |
| Accession Number: | edsair.od.......917..93c44afbc9c82599a4bd9a41e90fd741 |
| Database: | OpenAIRE |
Be the first to leave a comment!