ML Anthology

Pavlenko, Artem

1 publications

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