Ilya V. Otpuschennikov

13 papers A* 1A 2Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2023 — conf
Speeding up the Solving of Logical Equivalence Checking Problems with Disjunctive Diagrams.
MIPRO
Victor Kondratiev, Ilya V. Otpuschennikov, Alexander A. Semenov
2021 A conf
Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms.
CP
Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev
2021 — conf
On Some Variants of the Merging Variables Based (1+1)-Evolutionary Algorithm with Application to MaxSAT Problem.
MOTOR
Alexander A. Semenov, Ilya V. Otpuschennikov, Kirill Antonov
2020 J jnl
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems.
Log. Methods Comput. Sci.
Alexander A. Semenov, Ilya V. Otpuschennikov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
2020 — conf
Using Decision Diagrams of Special Kind for Compactification of Conflict Data Bases Generated by CDCL SAT Solvers.
MIPRO
Victor Kondratiev, Ilya V. Otpuschennikov, Alexander A. Semenov
2018 A* conf
On Cryptographic Attacks Using Backdoors for SAT.
AAAI
Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev
2018 J jnl
On Cryptographic Attacks Using Backdoors for SAT.
CoRR
Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev
2018 J jnl
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems.
CoRR
Alexander A. Semenov, Ilya V. Otpuschennikov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
2016 A conf
Encoding Cryptographic Functions to SAT Using TRANSALG System.
ECAI
Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
2016 J jnl
Encoding Cryptographic Functions to SAT Using Transalg System.
CoRR
Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
2016 J jnl
On one class of decision diagrams.
Autom. Remote. Control.
Alexander A. Semenov, Ilya V. Otpuschennikov
2014 J jnl
Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT (Tool Paper).
CoRR
Ilya V. Otpuschennikov, Alexander A. Semenov, Stepan Kochemazov
2014 J jnl
Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks.
CoRR
Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov