КОНДРАТЬЕВ Виктор Сергеевич

Год начала подготовки

2019

Форма обучения

очная

Направление подготовки	09.06.01 «Информатика и вычислительная техника»
Направленность (научная специальность)	05.13.18 «Математическое моделирование, численные методы и комплексы программ»
Научный руководитель	Семенов Александр Анатольевич, к.т.н., доцент
Тема диссертационной работы	Методы обработки конфликтных ограничений в алгоритмах решения SAT, основанных на нехронологическом бэктрекинге (Утв. Ученым советом ИДСТУ СО РАН 26.11.2019, протокол № 10)

Список опубликованных научных трудов

за первый год обучения

Кочемазов С.Е., Заикин О.С., Семенов А.А., Кондратьев В.С. Использование дубликатов конфликтных ограничений для ускорения CDCL-вывода // Материалы конф. «Ляпуновские чтения» (г. Иркутск, 2–5 декабря 2019 г.). Иркутск: ИДСТУ СО РАН, 2019. С. 62.
Kochemazov S., Zaikin O., Semenov A., Kondratiev V. Speeding Up CDCL Inference With Duplicate Learnt Clauses // ECAI 2020: 24th European Conference on Artificial Intelligence. 2020. Vol. 325: Frontiers in Artificial Intelligence and Applications. P. 339–346. (Web of Science).

за второй год обучения

Кондратьев В.С., Семенов А.А. Использование дизъюнктивных диаграмм в задачах обращения инъективных функций // Материалы конф. «Ляпуновские чтения» (г. Иркутск, 7–11 декабря 2020 г.). Иркутск: ИДСТУ СО РАН, 2020. С. 63–64.
Kondratiev V., Otpuschennikov I., Semenov A. Using Decision Diagrams of Special Kind for Compactification of Conflict Data Bases Generated by CDCL SAT Solvers // MIPRO 2020: Proc. of the 43rd Intern. Convention on Information, Communication and Electronic Technology (Opatija, Croatia, Sept. 28 – Oct. 2, 2020). IEEE, 2020. P. 1046–1051. (Web of Science).

за третий год обучения

Кондратьев В.С. Использование дизъюнктивных диаграмм в препроцессинге конъюнктивных нормальных форм // Материалы конф. «Ляпуновские чтения» (г. Иркутск, 6–9 декабря 2021 г.). Иркутск: ИДСТУ СО РАН, 2021. С. 25–26.
Kondratiev V. Using Disjunctive Diagrams for Preprocessing of Conjunctive Normal Forms // MIPRO 2022: Proc. of the 45th Jubilee Intern. Convention on Information, Communication and Electronic Technology (Opatija, Croatia, May 23 – 27, 2022). IEEE, 2022. P. 883–887. (Web of Science Emerging Sources Citation Index).
Gladush A., Gribanova I., Kondratiev V., Pavlenko A., Semenov A. Measuring the Effectiveness of SAT-Based Guess-and-Determine Attacks in Algebraic Cryptanalysis // Parallel Computational Technologies: 16th Intern. Conf., PCT 2022 (Dubna, Russia, March 29–31) / Ed. by L. Sokolinsky, M. Zymbler. Ser. Communications in Computer and Information Science. Springer, 2022. Vol. 1618. P. 143–157. (Web of Science, Scopus).

за четвертый год обучения