AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Kochemazov Stepan

Kochemazov Stepan

Institute of System Dynamics and Control Theory Russian Academy of Sciences - Irkutsk / Russia
Others
AD Scientific Index ID: 4409865
Институт динамики системы и теория контроля Российская академия наук
person_outline Kochemazov Stepan's MOST POPULAR ARTICLES
1-) Encoding Cryptographic Functions to SAT Using TRANSALG System Frontiers in Artificial Intelligence and Applications 285, 1594-1595, 2016
2-) On cryptographic attacks using backdoors for SAT Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
3-) Translation of algorithmic descriptions of discrete functions to SAT with applications to cryptanalysis problems Logical Methods in Computer Science 16, 2020
4-) The search for systems of diagonal Latin squares using the SAT@ home project International Journal of Open Information Technologies 3 (11), 4-9, 2015
5-) On the construction of triples of diagonal Latin squares of order 10 Electronic Notes in Discrete Mathematics 54, 307-312, 2016