Chivilikhin, Daniil

2 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