Ignatiev, A. (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.