Ilya V. Otpuschennikov

According to our database, Ilya V. Otpuschennikov authored at least 10 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Speeding up the Solving of Logical Equivalence Checking Problems with Disjunctive Diagrams.

Victor Kondratiev, Ilya V. Otpuschennikov, Alexander A. Semenov

Proceedings of the 46th MIPRO ICT and Electronics Convention, 2023

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

Proceedings of the Mathematical Optimization Theory and Operations Research, 2021

Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms.

Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

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, Stepan Kochemazov

Log. Methods Comput. Sci., 2020

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

Proceedings of the 43rd International Convention on Information, 2020

2018

On Cryptographic Attacks Using Backdoors for SAT.

Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2016

On one class of decision diagrams.

Alexander A. Semenov, Ilya V. Otpuschennikov

Autom. Remote. Control., 2016

Encoding Cryptographic Functions to SAT Using TRANSALG System.

Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2014

Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks.

Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov

CoRR, 2014

Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT (Tool Paper).

Ilya V. Otpuschennikov, Alexander A. Semenov, Stepan Kochemazov

CoRR, 2014