Semenov, A.; Pavlenko, A.; Chivilikhin, D.; Kochemazov, S. On Probabilistic Generalization of Backdoors in Boolean Satisfiability. AAAI 2022, 36, 10353-10361.