| 2026 | AAAI | Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance. | Stepan Kochemazov, Oleg Zaikin, Grigorii Trofimiuk, Kirill Antonov, Alexander A. Semenov |
| 2024 | CEC | Using Island Model in Asynchronous Evolutionary Strategy to Search for Backdoors for SAT. | Artem Pavlenko, Alexander A. Semenov |
| 2024 | ECAI | Using Backdoors to Generate Learnt Information in SAT Solving. | Alexander Andreev, Konstantin Chukharev, Stepan Kochemazov, Alexander A. Semenov |
| 2023 | AAAI | Probabilistic Generalization of Backdoor Trees with Application to SAT. | Alexander A. Semenov, Daniil Chivilikhin, Stepan Kochemazov, Ibragim Dzhiblavi |
| 2022 | AAAI | On Probabilistic Generalization of Backdoors in Boolean Satisfiability. | Alexander A. Semenov, Artem Pavlenko, Daniil Chivilikhin, Stepan Kochemazov |
| 2022 | CEC | Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability. | Artem Pavlenko, Daniil Chivilikhin, Alexander A. Semenov |
| 2021 | CP | Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms. | Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev |
| 2020 | ECAI | Speeding Up CDCL Inference with Duplicate Learnt Clauses. | Stepan Kochemazov, Oleg Zaikin, Alexander A. Semenov, Victor Kondratiev |
| 2018 | AAAI | On Cryptographic Attacks Using Backdoors for SAT. | Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev |
| 2016 | ECAI | Encoding Cryptographic Functions to SAT Using TRANSALG System. | Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov |
| 2015 | PACT | Using Monte Carlo Method for Searching Partitionings of Hard Variants of Boolean Satisfiability Problem. | Alexander A. Semenov, Oleg Zaikin |
| 2011 | PACT | Parallel Logical Cryptanalysis of the Generator A5/1 in BNB-Grid System. | Alexander A. Semenov, Oleg Zaikin, Dmitry Bespalov, Mikhail Posypkin |
| 2011 | SAT | DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions. | Alexey Ignatiev, Alexander A. Semenov |