Oleg Sergeevich Zaikin

Available identifiers

zbMath Open zaikin.oleg-sergeevichWikidataQ89220926 ScholiaQ89220926MaRDI QIDQ1954038

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5150487	2021-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q5146132	2021-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5117078	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
https://portal.mardi4nfdi.de/entity/Q5212149	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
https://portal.mardi4nfdi.de/entity/Q5411853	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
https://portal.mardi4nfdi.de/entity/Q3060539	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Oleg Sergeevich Zaikin