Ignatiev A, Izza Y, Stuckey PJ, Marques-Silva J. Using MaxSAT for Efficient Explanations of Tree Ensembles. AAAI [Internet]. 2022 Jun. 28 [cited 2026 May 20];36(4):3776-85. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/20292