Alexander A. Semenov Oleg Zaikin 0002 Ilya V. Otpuschennikov Stepan Kochemazov Alexey Ignatiev On Cryptographic Attacks Using Backdoors for SAT. 2018 AAAI https://doi.org/10.1609/aaai.v32i1.12205 conf/aaai/2018 db/conf/aaai/aaai2018.html#SemenovZOKI18 6641-6648