Stepan Kochemazov

38 papers A* 4A 6C 1Journal 12Unranked 15

Year	Rank	Type	Title / Venue / Authors
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	—	`conf`	Towards Better SAT Encodings for Hash Function Inversion Problems. MIPRO Stepan Kochemazov, Oleg Zaikin
2024	A	`conf`	Using Backdoors to Generate Learnt Information in SAT Solving. ECAI Alexander Andreev, Konstantin Chukharev, Stepan Kochemazov, Alexander A. Semenov
2023	—	`conf`	Empirical Analysis of the RC2 MaxSAT Algorithm. MIPRO Stepan Kochemazov, Victor Kondratiev, Irina Gribanova
2023	A*	`conf`	Probabilistic Generalization of Backdoor Trees with Application to SAT. AAAI Alexander A. Semenov, Daniil Chivilikhin, Stepan Kochemazov, Ibragim Dzhiblavi
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	A*	`conf`	On Probabilistic Generalization of Backdoors in Boolean Satisfiability. AAAI Alexander A. Semenov, Artem Pavlenko, Daniil Chivilikhin, Stepan Kochemazov
2021	A	`conf`	Assessing Progress in SAT Solvers Through the Lens of Incremental SAT. SAT Stepan Kochemazov, Alexey Ignatiev, João Marques-Silva
2021	J	`jnl`	On black-box optimization in divide-and-conquer SAT solving. Optim. Methods Softw. Oleg Zaikin, Stepan Kochemazov
2020	—	`conf`	Analysis of comparative effectiveness of state-of-the-art heuristics for CDCL SAT solvers. AICTS Stepan Kochemazov
2020	J	`jnl`	Enumerating Diagonal Latin Squares of Order Up to 9. J. Integer Seq. Stepan Kochemazov, Oleg Zaikin, Eduard Vatutin, Alexey Belyshev
2020	—	`conf`	Improving Effectiveness of Neighborhood-Based Algorithms for Optimization of Costly Pseudo-Boolean Black-Box Functions. MOTOR Oleg Zaikin, Stepan Kochemazov
2020	A	`conf`	Improving Implementation of SAT Competitions 2017-2019 Winners. SAT Stepan Kochemazov
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
2019	—	`conf`	Black-Box Optimization in an Extended Search Space for SAT Solving. MOTOR Oleg Zaikin, Stepan Kochemazov
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	—	`conf`	UnProVET: Using Explicit Constraint Propagation to Construct Attack Graphs. MIPRO Dmitry Gorbatenko, Alexander A. Semenov, Stepan Kochemazov
2018	A	`conf`	ALIAS: A Modular Tool for Finding Backdoors for SAT. SAT Stepan Kochemazov, Oleg Zaikin
2018	—	`conf`	Enumeration of Isotopy Classes of Diagonal Latin Squares of Small Order Using Volunteer Computing. RuSCDays Eduard Vatutin, Alexey Belyshev, Stepan Kochemazov, Oleg Zaikin, Natalia Nikitina
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
2017	C	`conf`	An Improved SAT-Based Guess-and-Determine Attack on the Alternating Step Generator. ISC Oleg Zaikin, Stepan Kochemazov
2017	J	`jnl`	Fast Algorithm for Enumerating Diagonal Latin Squares of Small Order. CoRR Stepan Kochemazov, Eduard Vatutin, Oleg Zaikin
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 the Construction of Triples of Diagonal Latin Squares of Order 10. Electron. Notes Discret. Math. Oleg Zaikin, Alexey Zhuravlev, Stepan Kochemazov, Eduard Vatutin
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
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 synchronous Boolean networks to model several phenomena of collective behavior. CoRR Stepan Kochemazov, Alexander A. Semenov