Using MaxSAT for Efficient Explanations of Tree Ensembles.

Alexey Ignatiev Yacine Izza Peter J. Stuckey João Marques-Silva

Published in: AAAI (2022)

Keyphrases

tree ensembles
combinatorial optimization
support vector
least squares
neural network
data mining
support vector machine
regression model