Speeding Up CDCL Inference with Duplicate Learnt Clauses S Kochemazov, O Zaikin, A Semenov, V Kondratiev ECAI 2020, 339-346, 2020 | 31* | 2020 |
Using Disjunctive Diagrams for Preprocessing of Conjunctive Normal Forms V Kondratiev 2022 45th Jubilee International Convention on Information, Communication and …, 2022 | 1 | 2022 |
Using Decision Diagrams of Special Kind for Compactification of Conflict Data Bases Generated by CDCL SAT Solvers V Kondratiev, I Otpuschennikov, A Semenov 2020 43rd International Convention on Information, Communication and …, 2020 | 1 | 2020 |
Empirical Analysis of the RC2 MaxSAT Algorithm S Kochemazov, V Kondratiev, I Gribanova 2023 46th MIPRO ICT and Electronics Convention (MIPRO), 1027-1032, 2023 | | 2023 |
Speeding up the Solving of Logical Equivalence Checking Problems with Disjunctive Diagrams V Kondratiev, I Otpuschennikov, A Semenov 2023 46th MIPRO ICT and Electronics Convention (MIPRO), 1021-1026, 2023 | | 2023 |
Using Parallel SAT Solving to Study Hard Combinatorial Problems Associated with Boolean Circuits V Kondratiev, S Kochemazov, A Semenov International Conference on Parallel Computational Technologies, 123-136, 2023 | | 2023 |
Дубликаты конфликтных ограничений в CDCL-выводе и их использование в задачах обращения некоторых криптографических функций ВС Кондратьев, АА Семенов, ОС Заикин вычислительные методы и программирование 20, 54-66, 2019 | | 2019 |
Использование повторно порождаемых конфликтных ограничений в CDCL выводе для ускорения обращения некоторых криптографических хеш-функций ВС Кондратьев, АА Семенов МНСК-2018: Информационные технологии, 108-108, 2018 | | 2018 |
Применение дубликатов конфликтных ограничений для ускорения работы алгоритмов решения проблемы булевой выполнимости ВС Кондратьев ББК 32.82. я5 Печатается по решению редакционно-издательского совета ИРНИТУ …, 2014 | | 2014 |
Benchmarks encoding logical equivalence checking for sorting algorithms I Otpuschennikov, A Semenov, V Kondratiev, D Chivilikhin, ... SAT COMPETITION 2022, 67, 0 | | |