Irina Gribanova

According to our database, Irina Gribanova authored at least 7 papers between 2016 and 2026.

Collaborative distances:

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

2026

Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances.

Victor Kondratiev, Irina Gribanova, Alexander A. Semenov

CoRR, February, 2026

2025

Effective Partitioning Method With Predictable Hardness for CircuitSAT.

Konstantin Chukharev, Irina Gribanova, Dmitry Ivanov, Stepan Kochemazov, Victor Kondratiev, Alexander A. Semenov

IEEE Access, 2025

2023

Empirical Analysis of the RC2 MaxSAT Algorithm.

Stepan Kochemazov, Victor Kondratiev, Irina Gribanova

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

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

Constructing a Set of Weak Values for Full-round MD4 Hash Function.

Irina Gribanova, Alexander A. Semenov

Proceedings of the 43rd International Convention on Information, 2020

2018

Using automatic generation of relaxation constraints to improve the preimage attack on 39-step MD4.

Irina Gribanova, Alexander A. Semenov

Proceedings of the 41st International Convention on Information and Communication Technology, 2018

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