Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/39492
Название: | Algorithms for special cases of the MaxSAT problem |
Другие названия: | Алгоритмы для частных случаев задачи максимальной выполнимости |
Авторы: | Головнев Александр Гарникович Golovnev Aleksandr Garnikovic Тагин Евгений Юрьевич Tagin Evgenij Urevic Близнец Иван Анатольевич Bliznec Ivan Anatolevic |
Дата публикации: | 2022 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/39492 |
Располагается в коллекциях: | MASTER'S STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
masters_thesis_final.pdf | Article | 362,91 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Tagin_otzyv__master___1_.docx | ReviewSV | 26,75 kB | Microsoft Word XML | Просмотреть/Открыть |
reviewSV_Tagin_otzyv__master___1_.pdf | ReviewSV | 71,94 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.