Oleg Zaikin - RankMe

41 papers A* 3A 6B 2C 1Journal 15Unranked 14

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
2024	J	`jnl`	Inverting Cryptographic Hash Functions via Cube-and-Conquer. J. Artif. Intell. Res. Oleg Zaikin
2024	A	`conf`	Inverting Step-Reduced SHA-1 and MD5 by Parameterized SAT Solvers. CP Oleg Zaikin
2024	—	`conf`	Towards Better SAT Encodings for Hash Function Inversion Problems. MIPRO Stepan Kochemazov, Oleg Zaikin
2022	A*	`conf`	Inverting 43-step MD4 via Cube-and-Conquer. IJCAI Oleg Zaikin
2022	J	`jnl`	Inverting Cryptographic Hash Functions via Cube-and-Conquer. CoRR Oleg Zaikin
2021	J	`jnl`	On black-box optimization in divide-and-conquer SAT solving. Optim. Methods Softw. Oleg Zaikin, Stepan Kochemazov
2021	A	`conf`	Projection Heuristics for Binary Branchings Between Sum and Product. SAT Oliver Kullmann, Oleg Zaikin
2020	A	`conf`	Branch Location Problems with Maximum Satisfiability. ECAI Oleg Zaikin, Alexey Ignatiev, João Marques-Silva
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`	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`	Bank Branch Network Optimization Based on Customers Geospatial Profiles. OTM Conferences Oleg Zaikin, Anton Petukhov, Klavdiya Bochenina
2019	—	`conf`	Black-Box Optimization in an Extended Search Space for SAT Solving. MOTOR Oleg Zaikin, Stepan Kochemazov
2019	—	`conf`	Optimizing Spatial Accessibility of Company Branches Network with Constraints. ICCS (2) Oleg Zaikin, Ivan Derevitskii, Klavdiya Bochenina, Janusz A. Holyst
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`	SAT-Based Cryptanalysis: From Parallel Computing to Volunteer Computing. RuSCDays Oleg Zaikin
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	—	`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	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
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`	Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks. CoRR Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov
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	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