Stepan Kochemazov

Часть публикаций из профиля, по году от новых к старым. Это не полный список последних работ автора; работы без года — в конце.

• Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance2026
• Combining greedy and evolutionary algorithms to maximize influence in networks under deterministic linear threshold model2025
• Effective Partitioning Method With Predictable Hardness for CircuitSAT2025
• Using Backdoors to Generate Learnt Information in SAT Solving2024
• Solving Influence Maximization Problem Under Deterministic Linear Threshold Model Using Metaheuristic optimization2024
• On Cryptographic Attacks Using Backdoors for SAT2018 · аннотациясвернуть

  Propositional satisfiability (SAT) is at the nucleus of state-of-the-art approaches to a variety of computationally hard problems, one of which is cryptanalysis. Moreover, a number of practical applications of SAT can…

• An Improved SAT-Based Guess-and-Determine Attack on the Alternating Step Generator2017
• Encoding Cryptographic Functions to SAT Using Transalg System2016 · аннотациясвернуть

  In this paper we propose the technology for constructing propositional encodings of discrete functions. It is aimed at solving inversion problems of considered functions using state-of-the-art SAT solvers. We…