Semenov, Alexander A.

3 publications

AAAI 2023 Probabilistic Generalization of Backdoor Trees with Application to SAT Alexander A. Semenov, Daniil Chivilikhin, Stepan Kochemazov, Ibragim Dzhiblavi

AAAI 2022 On Probabilistic Generalization of Backdoors in Boolean Satisfiability Alexander A. Semenov, Artem Pavlenko, Daniil Chivilikhin, Stepan Kochemazov

AAAI 2018 On Cryptographic Attacks Using Backdoors for SAT Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev