Электронный научный архив УрФУ: Просмотр архива электронных ресурсов

Просмотр коллекции по группе - По тематике SAT

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
или введите несколько первых букв:

Отображение результатов 1 до 5 из 5

Дата публикации	Название	Авторы
2012	On the problem of sensor placement	Gorbenko, A.; Popov, V.
2020	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.
2019	Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata	Shabana, H.; Volkov, M. V.
2013	Исследование вопросов создания интеллектуальных модулей для систем управления роботов на основе комбинаторных алгоритмов	Горбенко, А. А.; Gorbenko, A. A.
2020	Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17	Шабана, Х. М. Д.

Отображение результатов 1 до 5 из 5