A. Semenov, D. Chivilikhin, S. Kochemazov, and I. Dzhiblavi, “Probabilistic Generalization of Backdoor Trees with Application to SAT”, AAAI, vol. 37, no. 4, pp. 4095–4103, Jun. 2023.