Huang, X.; Izza, Y.; Ignatiev, A.; Cooper, M.; Asher, N.; Marques-Silva, J. Tractable Explanations for D-DNNF Classifiers. AAAI 2022, 36, 5719-5728.