Oleg Sergeevich Zaikin

Available identifiers

zbMath Open zaikin.oleg-sergeevichWikidataQ89220926 ScholiaQ89220926MaRDI QIDQ1954038

List of research outcomes

Publication	Date of Publication	Type
Inverting Cryptographic Hash Functions via Cube-and-Conquer - Results and Source code	2024-09-16	Dataset
On black-box optimization in divide-and-conquer SAT solving	2022-06-27	Paper
Projection heuristics for binary branchings between sum and product	2022-03-22	Paper
Finding Effective SAT Partitionings Via Black-Box Optimization	2021-09-30	Paper
Improving effectiveness of neighborhood-based algorithms for optimization of costly pseudo-Boolean black-box functions	2021-04-19	Paper
Solving of cryptanalysis problems in grid systems (by the example of BOINC)	2021-02-15	Paper
A hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems	2021-01-25	Paper
Analysis of some cryptographic primitives on computer clusters	2020-08-20	Paper
Black-box optimization in an extended search space for SAT solving	2020-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q5109519	2020-05-12	Paper
Enumerating diagonal Latin squares of order up to 9	2020-01-27	Paper
ALIAS: a modular tool for finding backdoors for SAT	2018-08-10	Paper
Fast Algorithm for Enumerating Diagonal Latin Squares of Small Order	2017-09-08	Paper
A volunteer-computing-based grid architecture incorporating idle resources of computational clusters	2017-07-07	Paper
On the construction of triples of diagonal Latin squares of order 10	2017-02-13	Paper
Multi-criteria approach to comparison of inspection allocation for multi-product manufacturing systems in make-to-order sector	2014-04-25	Paper
Algorithms for constructing decomposition sets in application to coarse-grained parallelization of SAT problems	2013-06-12	Paper
Parallel logical cryptanalysis of the generator A5/1 in BNB-grid system	2011-11-23	Paper
SAT-approach to cryptography of some stream ciphering systems	2010-12-08	Paper
Cost estimation algorithm and decision-making model for curriculum modification in educational organization	2009-04-30	Paper
Model and algorithm of the conceptual scheme formation for knowledge domain in distance learning	2006-10-27	Paper
Modeling and optimization of the throughput of the processing nodes in computer-aided control systems of distributed production of printer matter	2005-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4667412	2005-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4738162	2004-08-11	Paper

Research outcomes over time

This page was built for person: Oleg Sergeevich Zaikin