Статьи в журналах/сборниках из перечня Web of Science/Scopus |
| 1 | Уваров С.И. Sufficient Condition for Polynomial Solvability of Random 3-CNF Formulas. / Doklady Mathematics. Moscow: Pleiades Publishing, Ltd., 2024. Vol. 110, № 1. С. 323-327 . | 2024 |
Статьи в журналах/сборниках из перечня ВАК |
| 2 | Уваров С.И. Достаточное условие полиномиальной разрешимости случайных 3-КНФ формул // Доклады Российской академии наук. Математика, информатика, процессы управления. 2024. Т: 518. № 1 . С. 35-39 . | 2024 |
| 3 | Уваров С.И. Усовершенствованный генератор 3-КНФ формул // Автоматика и телемеханика. 2020. № 1. С. 161-172. | 2020 |
Статьи в журналах/сборниках |
| 4 | Уваров С.И. Empirical evaluation of the asymptotic behavior of the analysis complexity of hard random 3-cnf formulas. // Machine Learning and Artificial Intelligence. 2022. Vol. 360. С. 28-34. | 2022 |
Пленарные доклады и доклады из перечня Web of Science/Scopus |
| 5 | Уваров С.И. About strong dependence of the complexity of analysis of the random 3-cnf formulas on the ratio of number of clauses to the number of variables / Frontiers in Artificial Intelligence and Applications. Beijing, China: IOS Press., 2021. Vol. 341. С. 496-501. | 2021 |
Доклады |
| 6 | Уваров С.И. Порождение и исследование сложных для анализа 3-КНФ формул / Труды 9-ой Международной научной конференции "Танаевские чтения" (Минск, 2021). Минск: ОИПИ НАН Беларуси, 2021. С. 116-120. | 2021 |
| 7 | Уваров С.И. Вычислительный эксперимент по оценке алгоритмической сложности анализа выполнимости/невыполнимости 3-КНФ булевых формул / XIII ВСЕРОССИЙСКОЕ СОВЕЩАНИЕ ПО ПРОБЛЕМАМ УПРАВЛЕНИЯ ВСПУ-2019 : ТРУДЫ. 17-20 июня 2019 г., Москва. М.: Москва - ИПУ РАН, 2019. С. 2456-2460. | 2019 |
| 8 | Уваров С.И. Распараллеливание в NP-полных задачах на примере выполнимости булевых функций / Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва). М.: ИПУ РАН, 2012. Т. 2. С. 176-182. | 2012 |
| 9 | Уваров С.И. Совместное кодирование границ арифметических интервалов при надежных вычислениях / Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва). М.: ИПУ РАН, 2012. Т. 1. С. 210-222. | 2012 |
Патенты/Свидетельства |
| 10 | Уваров С. И. Спецпроцессор для задачи выполнимости булевых формул: Патент на изобретение № 2644505 РФ; Зарег. 12.02.2018. | 2018 |
| 11 | Уваров С. И. Соединитель многожильных электрических проводов: Патент на полезную модель № 139487 РФ; Зарег. 19.03.2014. | 2014 |
| 12 | Уваров С. И. Спецпроцессор для задачи выполнимости булевых формул: Патент на изобретение № 2515206 РФ; Зарег. 12.03.2014. | 2014 |
| 13 | Уваров С. И. Спецпроцессор для поиска гамильтоновых циклов в графах: Патент на изобретение № 2515211 РФ; Зарег. 12.03.2014. | 2014 |
| 14 | Уваров С. И. Устройство декодирования совместно хранимых границ при интервальных вычислениях: Патент на изобретение № 2497179 РФ; Зарег. 27.10.2013. | 2013 |
| 15 | Уваров С. И. Устройство совместного кодирования границ при интервальных вычислениях: Патент на изобретение № 2497180 РФ; Зарег. 27.10.2013. | 2013 |
| 16 | Уваров С. И. Высокопараллельный спецпроцессор для решения задачи о выполнимости булевых формул: Патент на изобретение № 2474871 РФ; Зарег. 10.02.2013. | 2013 |
| 17 | Уваров С. И., Адоян Е. А., Мошников А. С. Декодер фазомодулированного сигнала: Патент на изобретение № 2453991 РФ; Зарег. 20.06.2012. | 2012 |
| 18 | Уваров С. И., Ананьев А. П. Транзисторный ключ с пропорционально токовым управлением: Патент на изобретение № 2412541 РФ; Зарег. 20.02.2011. | 2011 |
| 19 | Уваров С. И., Ананьев А. П. Преобразователь напряжения с индуктивно связанными рекуперационными цепями: Патент на изобретение № 2396685 РФ; Зарег. 10.08.2010. | 2010 |
