The following pages link to Oleg Sergeevich Zaikin (Q1954038):
Displaying 24 items.
- (Q510609) (redirect page) (← links)
- On the construction of triples of diagonal Latin squares of order 10 (Q510613) (← links)
- Cost estimation algorithm and decision-making model for curriculum modification in educational organization (Q1014994) (← links)
- ALIAS: a modular tool for finding backdoors for SAT (Q1656599) (← links)
- (Q1778943) (redirect page) (← links)
- Modeling and optimization of the throughput of the processing nodes in computer-aided control systems of distributed production of printer matter (Q1778946) (← links)
- Algorithms for constructing decomposition sets in application to coarse-grained parallelization of SAT problems (Q1954039) (← links)
- Projection heuristics for binary branchings between sum and product (Q2118310) (← links)
- Black-box optimization in an extended search space for SAT solving (Q2181777) (← links)
- Model and algorithm of the conceptual scheme formation for knowledge domain in distance learning (Q2433497) (← links)
- Improving effectiveness of neighborhood-based algorithms for optimization of costly pseudo-Boolean black-box functions (Q2663744) (← links)
- (Q3060539) (← links)
- Parallel Logical Cryptanalysis of the Generator A5/1 in BNB-Grid System (Q3100320) (← links)
- (Q4667412) (← links)
- (Q4738162) (← links)
- On black-box optimization in divide-and-conquer SAT solving (Q5085259) (← links)
- (Q5109519) (← links)
- (Q5117078) (← links)
- (Q5146132) (← links)
- (Q5150487) (← links)
- Finding Effective SAT Partitionings Via Black-Box Optimization (Q5153508) (← links)
- (Q5212149) (← links)
- A Volunteer-Computing-Based Grid Architecture Incorporating Idle Resources of Computational Clusters (Q5275037) (← links)
- (Q5411853) (← links)
