Alexander Semenov

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

• Combining greedy and evolutionary algorithms to maximize influence in networks under deterministic linear threshold model2025
• Effective Partitioning Method With Predictable Hardness for CircuitSAT2025
• REDUCING DISCRETE OPTIMIZATION PROBLEMS TO THE QUBO FORM2025
• Using Backdoors to Generate Learnt Information in SAT Solving2024
• Using Island Model in Asynchronous Evolutionary Strategy to Search for Backdoors for SAT2024
• Mn-Doped BaTiO3 Ceramics: Thermal and Electrical Properties for Multicaloric Applications2019 · аннотациясвернуть

  Multiferroic materials are widely used in microelectronics because they are sensitive to elastic, magnetic, and electric fields and there is an intrinsic coupling between them. In particular, transition metal-doped…

• 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…

• Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions2016 · аннотациясвернуть

  In this paper we propose an approach for constructing partitionings of hard variants of the Boolean satisfiability problem (SAT). Such partitionings can be used for solving corresponding SAT instances in parallel. For…