Ignatiev, A., Izza, Y., Stuckey, P. J. and Marques-Silva, J. (2022) “Using MaxSAT for Efficient Explanations of Tree Ensembles”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(4), pp. 3776-3785. doi: 10.1609/aaai.v36i4.20292.