Alexander A. Semenov

51 papers A* 4A 5B 5Journal 20Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances. CoRR Victor Kondratiev, Irina Gribanova, Alexander A. Semenov
2026	A*	`conf`	Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance. AAAI Stepan Kochemazov, Oleg Zaikin, Grigorii Trofimiuk, Kirill Antonov, Alexander A. Semenov
2025	J	`jnl`	Effective Partitioning Method With Predictable Hardness for CircuitSAT. IEEE Access Konstantin Chukharev, Irina Gribanova, Dmitry Ivanov, Stepan Kochemazov, Victor Kondratiev, Alexander A. Semenov
2024	—	`conf`	Solving Influence Maximization Problem Under Deterministic Linear Threshold Model Using Metaheuristic optimization. MIPRO Alexander Andreev, Konstantin Chukharev, Stepan Kochemazov, Alexander A. Semenov
2024	A	`conf`	Using Backdoors to Generate Learnt Information in SAT Solving. ECAI Alexander Andreev, Konstantin Chukharev, Stepan Kochemazov, Alexander A. Semenov
2024	B	`conf`	Using Island Model in Asynchronous Evolutionary Strategy to Search for Backdoors for SAT. CEC Artem Pavlenko, Alexander A. Semenov
2023	J	`jnl`	Decomposing Hard SAT Instances with Metaheuristic Optimization. CoRR Daniil Chivilikhin, Artem Pavlenko, Alexander A. Semenov
2023	A*	`conf`	Probabilistic Generalization of Backdoor Trees with Application to SAT. AAAI Alexander A. Semenov, Daniil Chivilikhin, Stepan Kochemazov, Ibragim Dzhiblavi
2023	—	`conf`	Speeding up the Solving of Logical Equivalence Checking Problems with Disjunctive Diagrams. MIPRO Victor Kondratiev, Ilya V. Otpuschennikov, Alexander A. Semenov
2023	—	`conf`	The Study of the Target Set Selection Problem under Deterministic Linear Threshold Model Using Evolutionary Algorithms. MIPRO Mikhail Smirnov, Stepan Kochemazov, Alexander A. Semenov
2023	J	`jnl`	Using Linearizing Sets to Solve Multivariate Quadratic Equations in Algebraic Cryptanalysis. IEEE Access Alexander A. Semenov, Kirill Antonov, Stepan Kochemazov, Artem Pavlenko
2022	B	`conf`	Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability. CEC Artem Pavlenko, Daniil Chivilikhin, Alexander A. Semenov
2022	J	`jnl`	Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits. CoRR Alexander A. Semenov, Konstantin Chukharev, Egor Tarasov, Daniil Chivilikhin, Viktor Kondratiev
2022	A*	`conf`	On Probabilistic Generalization of Backdoors in Boolean Satisfiability. AAAI Alexander A. Semenov, Artem Pavlenko, Daniil Chivilikhin, Stepan Kochemazov
2021	A	`conf`	Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms. CP Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev
2021	—	`conf`	On Some Variants of the Merging Variables Based (1+1)-Evolutionary Algorithm with Application to MaxSAT Problem. MOTOR Alexander A. Semenov, Ilya V. Otpuschennikov, Kirill Antonov
2020	—	`conf`	Constructing a Set of Weak Values for Full-round MD4 Hash Function. MIPRO Irina Gribanova, Alexander A. Semenov
2020	A	`conf`	Speeding Up CDCL Inference with Duplicate Learnt Clauses. ECAI Stepan Kochemazov, Oleg Zaikin, Alexander A. Semenov, Victor Kondratiev
2020	J	`jnl`	Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems. Log. Methods Comput. Sci. Alexander A. Semenov, Ilya V. Otpuschennikov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
2020	—	`conf`	Using Decision Diagrams of Special Kind for Compactification of Conflict Data Bases Generated by CDCL SAT Solvers. MIPRO Victor Kondratiev, Ilya V. Otpuschennikov, Alexander A. Semenov
2019	—	`conf`	Computational Study of Time Constrained Influence Maximization Problem under Deterministic Linear Threshold Model for Networks with Nonuniform Thresholds. MIPRO Stepan Kochemazov, Alexander A. Semenov
2019	B	`conf`	Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis. EvoApplications Artem Pavlenko, Alexander A. Semenov, Vladimir Ulyantsev
2019	—	`conf`	Merging Variables: One Technique of Search in Pseudo-Boolean Optimization. MOTOR (2) Alexander A. Semenov
2019	J	`jnl`	Merging variables: one technique of search in pseudo-Boolean optimization. CoRR Alexander A. Semenov
2019	—	`conf`	Parallel Framework for Evolutionary Black-box optimization with Application to Algebraic Cryptanalysis. MIPRO Artem Pavlenko, Alexander A. Semenov, Vladimir Ulyantsev, Oleg Zaikin
2019	—	`conf`	UnProVET: Using Explicit Constraint Propagation to Construct Attack Graphs. MIPRO Dmitry Gorbatenko, Alexander A. Semenov, Stepan Kochemazov
2018	A*	`conf`	On Cryptographic Attacks Using Backdoors for SAT. AAAI Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev
2018	J	`jnl`	On Cryptographic Attacks Using Backdoors for SAT. CoRR Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev
2018	J	`jnl`	Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems. CoRR Alexander A. Semenov, Ilya V. Otpuschennikov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
2018	J	`jnl`	Using Automatic Generation of Relaxation Constraints to Improve the Preimage Attack on 39-step MD4. CoRR Irina Gribanova, Alexander A. Semenov
2018	—	`conf`	Using automatic generation of relaxation constraints to improve the preimage attack on 39-step MD4. MIPRO Irina Gribanova, Alexander A. Semenov
2017	—	`conf`	Improving the effectiveness of SAT approach in application to analysis of several discrete models of collective behavior. MIPRO Stepan Kochemazov, Oleg Zaikin, Alexander A. Semenov
2017	—	`conf`	Runtime estimation for enumerating all mutually orthogonal diagonal Latin squares of order 10. MIPRO Stepan Kochemazov, Oleg Zaikin, Alexander A. Semenov
2016	—	`conf`	A Volunteer-Computing-Based Grid Architecture Incorporating Idle Resources of Computational Clusters. NAA Oleg Zaikin, Maxim Manzyuk, Stepan Kochemazov, Igor V. Bychkov, Alexander A. Semenov
2016	A	`conf`	Encoding Cryptographic Functions to SAT Using TRANSALG System. ECAI Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
2016	J	`jnl`	Encoding Cryptographic Functions to SAT Using Transalg System. CoRR Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
2016	J	`jnl`	On one class of decision diagrams. Autom. Remote. Control. Alexander A. Semenov, Ilya V. Otpuschennikov
2016	—	`conf`	On the Accuracy of Statistical Estimations of SAT Partitionings Effectiveness in Application to Discrete Function Inversion Problems. DOOR (Supplement) Alexander A. Semenov, Oleg Zaikin
2016	—	`conf`	SAT-based search for systems of diagonal latin squares in volunteer computing project SAT@home. MIPRO Oleg Zaikin, Stepan Kochemazov, Alexander A. Semenov
2016	—	`conf`	The application of parameterized algorithms for solving SAT to the study of several discrete models of collective behavior. MIPRO Stepan Kochemazov, Alexander A. Semenov, Oleg Zaikin
2015	B	`conf`	Using Monte Carlo Method for Searching Partitionings of Hard Variants of Boolean Satisfiability Problem. PaCT Alexander A. Semenov, Oleg Zaikin
2015	J	`jnl`	Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem. CoRR Alexander A. Semenov, Oleg Zaikin
2014	J	`jnl`	Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT (Tool Paper). CoRR Ilya V. Otpuschennikov, Alexander A. Semenov, Stepan Kochemazov
2014	J	`jnl`	Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks. CoRR Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov
2014	J	`jnl`	Using synchronous Boolean networks to model several phenomena of collective behavior. CoRR Stepan Kochemazov, Alexander A. Semenov
2013	J	`jnl`	On estimating total time to solve SAT in distributed computing environments: Application to the SAT@home project. CoRR Alexander A. Semenov, Oleg Zaikin
2012	J	`jnl`	Using BOINC Desktop Grid to Solve Large Scale SAT Problems. Comput. Sci. Mikhail Posypkin, Alexander A. Semenov, Oleg Zaikin
2011	A	`conf`	DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions. SAT Alexey Ignatiev, Alexander A. Semenov
2011	J	`jnl`	Estimation of Normalized Atmospheric Point Spread Function and Restoration of Remotely Sensed Images. IEEE Trans. Geosci. Remote. Sens. Alexander A. Semenov, Alexander V. Moshkov, Victor N. Pozhidayev, Alessandro Barducci, Paolo Marcoionni, Ivan Pippi
2011	B	`conf`	Parallel Logical Cryptanalysis of the Generator A5/1 in BNB-Grid System. PaCT Alexander A. Semenov, Oleg Zaikin, Dmitry Bespalov, Mikhail Posypkin
2011	J	`jnl`	Parallel algorithms for SAT in application to inversion problems of some discrete functions CoRR Alexander A. Semenov, Oleg Zaikin, Dmitry Bespalov, Mikhail Posypkin