Victor Kondratiev

According to our database, Victor Kondratiev authored at least 6 papers between 2020 and 2023.

Collaborative distances:

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

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

Empirical Analysis of the RC2 MaxSAT Algorithm.

Stepan Kochemazov, Victor Kondratiev, Irina Gribanova

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

2022

Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits.

Alexander A. Semenov, Konstantin Chukharev, Egor Tarasov, Daniil Chivilikhin, Viktor Kondratiev

CoRR, 2022

Using Disjunctive Diagrams for Preprocessing of Conjunctive Normal Forms.

Victor Kondratiev

Proceedings of the 45th Jubilee International Convention on Information, 2022

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

Speeding Up CDCL Inference with Duplicate Learnt Clauses.

Stepan Kochemazov, Oleg Zaikin, Alexander A. Semenov, Victor Kondratiev

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020