Semenov, Alexander, Daniil Chivilikhin, Stepan Kochemazov, and Ibragim Dzhiblavi. 2023. “Probabilistic Generalization of Backdoor Trees With Application to SAT”. Proceedings of the AAAI Conference on Artificial Intelligence 37 (4):4095-4103. https://doi.org/10.1609/aaai.v37i4.25525.