| 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 | CP | Inverting Step-Reduced SHA-1 and MD5 by Parameterized SAT Solvers. | Oleg Zaikin |
| 2022 | IJCAI | Inverting 43-step MD4 via Cube-and-Conquer. | Oleg Zaikin |
| 2021 | SAT | Projection Heuristics for Binary Branchings Between Sum and Product. | Oliver Kullmann, Oleg Zaikin |
| 2020 | ECAI | Branch Location Problems with Maximum Satisfiability. | Oleg Zaikin, Alexey Ignatiev, Joo Marques-Silva |
| 2020 | ECAI | Speeding Up CDCL Inference with Duplicate Learnt Clauses. | Stepan Kochemazov, Oleg Zaikin, Alexander A. Semenov, Victor Kondratiev |
| 2019 | ICCS | Optimizing Spatial Accessibility of Company Branches Network with Constraints. | Oleg Zaikin, Ivan Derevitskii, Klavdiya Bochenina, Janusz A. Holyst |
| 2018 | AAAI | On Cryptographic Attacks Using Backdoors for SAT. | Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev |
| 2018 | SAT | ALIAS: A Modular Tool for Finding Backdoors for SAT. | Stepan Kochemazov, Oleg Zaikin |
| 2017 | KES | Knowledge-based prediction in process control systems under limited measurement data. | Natalia Bakhtadze, Ekaterina Sakrutina, Boris V. Pavlov, Vladimir Lototsky, Oleg Zaikin |
| 2017 | KES | Scenario analysis of management processes in the prevention and the elimination of consequences of man-made disasters. | Vladimir V. Kulba, Natalia Bakhtadze, Oleg Zaikin, A. Shelkov, Igor Chernov |
| 2017 | KES | Motivation and social aspects of competence-based learning process. | Oleg Zaikin, Magdalena Malinowska, Natalia Bakhtadze, Andrzej Zylawski |
| 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 |