Author Details
Zaikin, Oleg, Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences, Russian Federation
-
Vol 3, No 11 (2015) - Distributed computing and information management systems
The Search for Systems of Diagonal Latin Squares Using the SAT@home Project
Abstract
PDF
-
Vol 3, No 12 (2015) - Distributed computing and information management systems
Solving weakened cryptanalysis problems for the Bivium cipher in the volunteer computing project SAT@home
Abstract
PDF
-
Vol 6, No 10 (2018) - Applied mathematics
Application of parallel SAT solving algorithms for cryptanalysis of the shrinking and self-shrinking keystream generators
Abstract
PDF (Russian)
-
Vol 7, No 12 (2019) - Theoretical Informatics and Computer Science
Using support vector machine to evaluate usefulness of conflict clauses in CDCL derivation
Abstract
PDF (Russian)