Using MaxSAT for Efficient Explanations of Tree Ensembles.

Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, Joo Marques-Silva

Browse the full AAAI paper archive.