Alexander A. Semenov, Ilya V. Otpuschennikov, Irina Gribanova, Oleg Zaikin 0002, Stepan Kochemazov. Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems. Logical Methods in Computer Science, 16(1), 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.