Ilya V. Otpuschennikov

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 11

Top Topics

Decision Diagrams

Propositional Satisfiability

Evolutionary Optimization

Top Venues

Autom. Remote. Control.

Publications

Victor Kondratiev, Ilya V. Otpuschennikov, Alexander A. Semenov
Speeding up the Solving of Logical Equivalence Checking Problems with Disjunctive Diagrams. MIPRO (2023)
Alexander A. Semenov, Ilya V. Otpuschennikov, Kirill Antonov
On Some Variants of the Merging Variables Based (1+1)-Evolutionary Algorithm with Application to MaxSAT Problem. MOTOR (2021)
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)
Alexander A. Semenov, Ilya V. Otpuschennikov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems. Log. Methods Comput. Sci. 16 (1) (2020)
Victor Kondratiev, Ilya V. Otpuschennikov, Alexander A. Semenov
Using Decision Diagrams of Special Kind for Compactification of Conflict Data Bases Generated by CDCL SAT Solvers. MIPRO (2020)
Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev
On Cryptographic Attacks Using Backdoors for SAT. CoRR (2018)
Alexander A. Semenov, Ilya V. Otpuschennikov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems. CoRR (2018)
Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev
On Cryptographic Attacks Using Backdoors for SAT. AAAI (2018)
Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
Encoding Cryptographic Functions to SAT Using Transalg System. CoRR (2016)
Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
Encoding Cryptographic Functions to SAT Using TRANSALG System. ECAI (2016)
Alexander A. Semenov, Ilya V. Otpuschennikov
On one class of decision diagrams. Autom. Remote. Control. 77 (4) (2016)
Ilya V. Otpuschennikov, Alexander A. Semenov, Stepan Kochemazov
Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT (Tool Paper). CoRR (2014)
Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov
Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks. CoRR (2014)