A. Ignatiev, Y. Izza, P. J. Stuckey, and J. Marques-Silva, “Using MaxSAT for Efficient Explanations of Tree Ensembles”, AAAI, vol. 36, no. 4, pp. 3776–3785, Jun. 2022.