Ignatiev, A.; Izza, Y.; Stuckey, P. J.; Marques-Silva, J. Using MaxSAT for Efficient Explanations of Tree Ensembles. AAAI 2022, 36, 3776-3785.