Научные руководители
 |
Семёнов Александр Анатольевичкандидат технических наук alex.a.semenov@itmo.ru Структурное подразделение: исследовательский центр в сфере искусственного интеллекта "Сильный искусственный интеллект в промышленности" Должность: старший научный сотрудник Профиль: 1.2.1. - Искусственный интеллект и машинное обучение 2.3.5. - Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей Область интересов: На протяжении почти 20 лет занимаюсь изучением комбинаторных алгоритмов и оценками их вычислительной сложности. Основной объект интересов -- задача о булевой выполнимости (Boolean Satisfiability Problem, SAT), алгоритмы ее решения и их применение к исследованию трудных комбинаторных проблем (алгебраический криптоанализ, дискретно-автоматные модели коллективного поведения, поиск комбинаторных дизайнов). Текущие исследования -- разработка метаэвристических алгоритмов псевдобулевой black-box оптимизации для поиска скрытых структур в булевых формулах, трудных для современных алгоритмов решения SAT. Имею ряд публикаций в трудах рейтинговых конференций (SAT, ECAI, CP, AAAI). Был руководителем 3 защищенных кандидатских диссертаций. Рабочий язык: Русский |
Публикации руководителя
| Выходные данные | Год | Индексирование в БД |
| Pavlenko A., Semenov A. Using Island Model in Asynchronous Evolutionary Strategy to Search for Backdoors for SAT//IEEE Congress on Evolutionary Computation, CEC 2024, 2024, pp. 1-7 | 2024 | Scopus, Web of Science |
| Andreev A., Chukharev K., Kochemazov S., Semenov A. Solving Influence Maximization Problem under Deterministic Linear Threshold Model Using Metaheuristic Optimization//47th MIPRO ICT and Electronics Convention (MIPRO), 2024, pp. 19-24 | 2024 | Scopus, Web of Science |
| Chivilikhin D., Pavlenko A., Semenov A. Decomposing Hard SAT Instances with Metaheuristic Optimization//International Journal of Artificial Intelligence, 2023, Vol. 21, No. 2, pp. 61-92 | 2023 | Scopus, Белый список |
| Kondratiev V., Otpuschennikov I., Semenov A. Speeding up the Solving of Logical Equivalence Checking Problems with Disjunctive Diagrams//46th ICT and Electronics Convention, MIPRO 2023, 2023, pp. 1021-1026 | 2023 | Scopus, Web of Science |
| Semenov A., Antonov K., Kochemazov S., Pavlenko A. Using Linearizing Sets to Solve Multivariate Quadratic Equations in Algebraic Cryptanalysis//IEEE Access, 2023, Vol. 11, pp. 120319-120333 | 2023 | Scopus, Web of Science, Белый список |
| Kondratiev V., Kochemazov S., Semenov A. Using Parallel SAT Solving to Study Hard Combinatorial Problems Associated with Boolean Circuits//Communications in Computer and Information Science, 2023, Vol. 1868, pp. 123-136 | 2023 | Scopus, Web of Science |
| Smirnov M., Kochemazov S., Semenov A. The Study of the Target Set Selection Problem under Deterministic Linear Threshold Model Using Evolutionary Algorithms//46th ICT and Electronics Convention, MIPRO 2023, 2023, pp. 1039-1044 | 2023 | Scopus, Web of Science |
| Semenov A., Chivilikhin D., Kochemazov S., Dzhiblavi I. Probabilistic Generalization of Backdoor Trees with Application to SAT//37th AAAI Conference on Artificial Intelligence, AAAI 2023, 2023, pp. 4095-4103 | 2023 | Scopus, Web of Science |
| Gladush A., Gribanova I., Kondratiev V., Pavlenko A., Semenov A. Measuring the Effectiveness of SAT-Based Guess-and-Determine Attacks in Algebraic Cryptanalysis//Communications in Computer and Information Science, 2022, Vol. 1618, pp. 143-157 | 2022 | Scopus, Web of Science |
| Semenov A., Pavlenko A., Chivilikhin D., Kochemazov S.E. On Probabilistic Generalization of Backdoors in Boolean Satisfiability//36th AAAI Conference on Artificial Intelligence, AAAI 2022, 2022, pp. 10353-10361 | 2022 | Scopus, Web of Science |
| Pavlenko A., Chivilikhin D., Semenov A. Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability//IEEE Congress on Evolutionary Computation, CEC 2022, 2022, pp. 1-8 | 2022 | Scopus, Web of Science |
| Semenov A., Zaikin O.S., Kochemazov S.E. Finding Effective SAT Partitionings Via Black-Box Optimization//Springer Optimization and Its Applications, 2021, Vol. 170, pp. 319-355 | 2021 | Scopus |
| Semenov A., Chivilikhin D., Pavlenko A., Otpuschennikov I., Ulyantsev V.I., Ignatiev A. Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms//Leibniz International Proceedings in Informatics, LIPIcs, 2021, Vol. 210, pp. 47 | 2021 | Scopus, Web of Science |
| Semenov A., Otpuschennikov I., Antonov K. On Some Variants of the Merging Variables Based (1+1)-Evolutionary Algorithm with Application to MaxSAT Problem//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, Vol. 12755, pp. 111-124 | 2021 | Scopus, Web of Science |
| Kochemazov S.E., Zaikin O.S., Semenov A., Kondratiev V.S. Speeding Up CDCL Inference With Duplicate Learnt Clauses//Frontiers in Artificial Intelligence and Applications, 2020, Vol. 325, pp. 339-346 | 2020 | Scopus, Web of Science |
| Semenov A., Otpuschennikov I., Gribanova I., Zaikin O.S., Kochemazov S.E. Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems//Logical Methods in Computer Science, 2020, Vol. 16, No. 1, pp. 29 | 2020 | Scopus, Web of Science |
| Gribanova I., Semenov A. Constructing a Set of Weak Values for Full-round MD4 Hash Function//43rd International Convention on Information, Communication and Electronic Technology, MIPRO 2020, 2020, pp. 1212-1217 | 2020 | Scopus |
| Kondratiev V.S., Otpuschennikov I., Semenov A. Using Decision Diagrams of Special Kind for Compactification of Conflict Data Bases Generated by CDCL SAT Solvers//43rd International Convention on Information, Communication and Electronic Technology, MIPRO 2020, 2020, pp. 1046-1051 | 2020 | Scopus |