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