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]
Abstract is missing.