Alexander Semenov, Oleg Zaikin, Ilya Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev. On Cryptographic Attacks Using Backdoors for SAT. In Sheila A. McIlraith, Kilian Q. Weinberger, editors, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018. pages 6641-6648, AAAI Press, 2018. [doi]