Victor Kondratiev

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Decision Diagrams

Propositional Satisfiability

Top Venues

Publications

Stepan Kochemazov, Victor Kondratiev, Irina Gribanova
Empirical Analysis of the RC2 MaxSAT Algorithm. MIPRO (2023)
Victor Kondratiev, Ilya V. Otpuschennikov, Alexander A. Semenov
Speeding up the Solving of Logical Equivalence Checking Problems with Disjunctive Diagrams. MIPRO (2023)
Victor Kondratiev
Using Disjunctive Diagrams for Preprocessing of Conjunctive Normal Forms. MIPRO (2022)
Stepan Kochemazov, Oleg Zaikin, Alexander A. Semenov, Victor Kondratiev
Speeding Up CDCL Inference with Duplicate Learnt Clauses. ECAI (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)