Ignatiev, Alexey, Yacine Izza, Peter J. Stuckey, and Joao Marques-Silva. 2022. “Using MaxSAT for Efficient Explanations of Tree Ensembles”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (4):3776-85. https://doi.org/10.1609/aaai.v36i4.20292.