Artem Pavlenko

According to our database, Artem Pavlenko authored at least 9 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Using Island Model in Asynchronous Evolutionary Strategy to Search for Backdoors for SAT.

Artem Pavlenko, Alexander A. Semenov

Proceedings of the IEEE Congress on Evolutionary Computation, 2024

2023

Decomposing Hard SAT Instances with Metaheuristic Optimization.

Daniil Chivilikhin, Artem Pavlenko, Alexander A. Semenov

CoRR, 2023

Using Linearizing Sets to Solve Multivariate Quadratic Equations in Algebraic Cryptanalysis.

Alexander A. Semenov, Kirill Antonov, Stepan Kochemazov, Artem Pavlenko

IEEE Access, 2023

2022

Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability.

Artem Pavlenko, Daniil Chivilikhin, Alexander A. Semenov

Proceedings of the IEEE Congress on Evolutionary Computation, 2022

On Probabilistic Generalization of Backdoors in Boolean Satisfiability.

Alexander A. Semenov, Artem Pavlenko, Daniil Chivilikhin, Stepan Kochemazov

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms.

Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2019

Parallel Framework for Evolutionary Black-box optimization with Application to Algebraic Cryptanalysis.

Artem Pavlenko, Alexander A. Semenov, Vladimir Ulyantsev, Oleg Zaikin

Proceedings of the 42nd International Convention on Information and Communication Technology, 2019

Fitness comparison by statistical testing in construction of SAT-based guess-and-determine cryptographic attacks.

Artem Pavlenko, Maxim Buzdalov, Vladimir Ulyantsev

Proceedings of the Genetic and Evolutionary Computation Conference, 2019

Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis.

Artem Pavlenko, Alexander A. Semenov, Vladimir Ulyantsev

Proceedings of the Applications of Evolutionary Computation, 2019