Semenov, A. (2023) “Probabilistic Generalization of Backdoor Trees with Application to SAT”, Proceedings of the AAAI Conference on Artificial Intelligence, 37(4), pp. 4095–4103. doi: 10.1609/aaai.v37i4.25525.