Artem Pavlenko

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Boolean Satisfiability

Evolutionary Algorithm

Hidden Structure

Top Venues

EvoApplications

Publications

Artem Pavlenko, Alexander A. Semenov
Using Island Model in Asynchronous Evolutionary Strategy to Search for Backdoors for SAT. CEC (2024)
Alexander A. Semenov, Kirill Antonov, Stepan Kochemazov, Artem Pavlenko
Using Linearizing Sets to Solve Multivariate Quadratic Equations in Algebraic Cryptanalysis. IEEE Access 11 (2023)
Daniil Chivilikhin, Artem Pavlenko, Alexander A. Semenov
Decomposing Hard SAT Instances with Metaheuristic Optimization. CoRR (2023)
Alexander A. Semenov, Artem Pavlenko, Daniil Chivilikhin, Stepan Kochemazov
On Probabilistic Generalization of Backdoors in Boolean Satisfiability. AAAI (2022)
Artem Pavlenko, Daniil Chivilikhin, Alexander A. Semenov
Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability. CEC (2022)
Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev
Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms. CP (2021)
Artem Pavlenko, Maxim Buzdalov, Vladimir Ulyantsev
Fitness comparison by statistical testing in construction of SAT-based guess-and-determine cryptographic attacks. GECCO (2019)
Artem Pavlenko, Alexander A. Semenov, Vladimir Ulyantsev, Oleg Zaikin
Parallel Framework for Evolutionary Black-box optimization with Application to Algebraic Cryptanalysis. MIPRO (2019)
Artem Pavlenko, Alexander A. Semenov, Vladimir Ulyantsev
Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis. EvoApplications (2019)