Semenov, A.; Chivilikhin, D.; Kochemazov, S.; Dzhiblavi, I. Probabilistic Generalization of Backdoor Trees With Application to SAT. AAAI 2023, 37, 4095-4103.