On Cryptographic Attacks Using Backdoors for SAT.

Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev

Browse the full AAAI paper archive.