Oleg Zaikin
Oleg Zaikin
ISDCT SB RAS
Dirección de correo verificada de icc.ru
Título
Citado por
Citado por
Año
Parallel logical cryptanalysis of the generator A5/1 in BNB-Grid system
A Semenov, O Zaikin, D Bespalov, M Posypkin
International Conference on Parallel Computing Technologies, 473-483, 2011
512011
Using BOINC desktop grid to solve large scale SAT problems
M Posypkin, A Semenov, O Zaikin
Computer Science 13 (1), 25, 2012
452012
Encoding cryptographic functions to SAT using Transalg system
I Otpuschennikov, A Semenov, I Gribanova, O Zaikin, S Kochemazov
Proceedings of the Twenty-second European Conference on Artificial …, 2016
402016
Технология крулооблочного параллеллзма о SAT-задачах
ОС Заикин, АА Семенов
Проблемы управления, 2008
362008
Опыт организации добровольных вычислений на примере проектов OPTIMA@ home и SAT@ home
ОС Заикин, МА Посыпкин, АА Семёнов, НП Храпов
Вестник Нижегородского университета им. НИ Лобачевского, 2012
332012
Решение задач криптоанализа поточных шифров в распределенных вычислительных средах
МА Посыпкин, ОС Заикин, ДВ Беспалов, АА Семенов
Труды Института системного анализа Российской академии наук 46, 119-137, 2009
302009
Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions
A Semenov, O Zaikin
SpringerPlus 5 (1), 554, 2016
282016
Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem
A Semenov, O Zaikin
International Conference on Parallel Computing Technologies, 222-230, 2015
262015
Процедуры построения декомпозиционных множеств для распределенного решения SAT-задач в проекте добровольных вычислений SAT@ home
ОС Заикин, АА Семёнов, МА Посыпкин
Управление большими системами: сборник трудов, 2013
252013
On the Construction of Triples of Diagonal Latin Squares of Order 10.
O Zaikin, A Zhuravlev, S Kochemazov, E Vatutin
Electronic Notes in Discrete Mathematics 54, 307-312, 2016
212016
Technology for integrating idle computing cluster resources into volunteer computing projects
AP Afanasiev, IV Bychkov, MO Manzyuk, MA Posypkin, AA Semenov, ...
Proc. of The 5th International Workshop on Computer Science and Engineering …, 2015
212015
On cryptographic attacks using backdoors for SAT
A Semenov, O Zaikin, I Otpuschennikov, S Kochemazov, A Ignatiev
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
192018
SAT-подход в криптоанализе некоторых систем поточного шифрования
АА Семенов, ОС Заикин, ДВ Беспалов, АА Ушаков
Вычислительные технологии 13 (6), 2008
192008
Using grid systems for enumerating combinatorial objects on example of diagonal Latin squares
EI Vatutin, O Zaikin, A Zhuravlev, M Manzyuk, S Kochemazov, VS Titov
Selected Papers of the 7th International Conference Distributed Computing …, 2016
172016
Решение задач обращения дискретных функций на многопроцессорных вычислительных системах
АА Семенов, ОС Заикин, ДВ Беспалов, ПС Буров, АЕ Хмельнов
Труды Четвертой Междунар. конф. PACO, 152-176, 2008
162008
Применение метода Монте-Карло к прогнозированию времени параллельного решения проблемы булевой выполнимости
ОС Заикин, АА Семёнов
Вычислительные методы и программирование 15 (1), 22-35, 2014
152014
Неполные алгоритмы в крупноблочном параллелизме комбинаторных задач
АА Семёнов, ОС Заикин
Вычислительные методы и программирование 9 (1), 108-118, 2008
152008
Параллельная технология решения SAT-задач с применением пакета прикладных программ D-SAT
ОС Заикин, АА Семенов, ИА Сидоров, АГ Феоктистов
Вестник ТГУ. Приложение, 83-95, 2007
152007
SAT-based search for systems of diagonal latin squares in volunteer computing project sat@ home
O Zaikin, S Kochemazov, A Semenov
2016 39th International Convention on Information and Communication …, 2016
142016
Реализация процедур прогнозирования трудоемкости параллельного решения SAT-задач
ОС Заикин
Вестник Уфимского государственного авиационного технического университета 14 …, 2010
142010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20