Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT (Tool Paper). - Ilya V. Otpuschennikov; Alexander A. Semenov; Stepan Kochemazov (CoRR, 2014)

Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks. - Alexander A. Semenov; Oleg Zaikin 002; Ilya V. Otpuschennikov (CoRR, 2014)

Encoding Cryptographic Functions to SAT Using TRANSALG System. - Ilya V. Otpuschennikov; Alexander A. Semenov; Irina Gribanova; Oleg Zaikin 002; Stepan Kochemazov (ECAI, 2016)

On one class of decision diagrams. - Alexander A. Semenov; Ilya V. Otpuschennikov (Autom. Remote. Control., 2016)

On Cryptographic Attacks Using Backdoors for SAT. - Alexander A. Semenov; Oleg Zaikin 002; Ilya V. Otpuschennikov; Stepan Kochemazov; Alexey Ignatiev (AAAI, 2018)

Using Decision Diagrams of Special Kind for Compactification of Conflict Data Bases Generated by CDCL SAT Solvers. - Victor Kondratiev; Ilya V. Otpuschennikov; Alexander A. Semenov (MIPRO, 2020)

Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems. - Alexander A. Semenov; Ilya V. Otpuschennikov; Irina Gribanova; Oleg Zaikin 002; Stepan Kochemazov (Log. Methods Comput. Sci., 2020)

Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms. - Alexander A. Semenov; Daniil Chivilikhin; Artem Pavlenko; Ilya V. Otpuschennikov; Vladimir Ulyantsev; Alexey Ignatiev (CP, 2021)

On Some Variants of the Merging Variables Based (1+1)-Evolutionary Algorithm with Application to MaxSAT Problem. - Alexander A. Semenov; Ilya V. Otpuschennikov; Kirill Antonov (MOTOR, 2021)

Speeding up the Solving of Logical Equivalence Checking Problems with Disjunctive Diagrams. - Victor Kondratiev; Ilya V. Otpuschennikov; Alexander A. Semenov (MIPRO, 2023)