Semenov, A., D. Chivilikhin, S. Kochemazov, and I. Dzhiblavi. “Probabilistic Generalization of Backdoor Trees With Application to SAT”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 4, June 2023, pp. 4095-03, doi:10.1609/aaai.v37i4.25525.