Interpretable Decision Trees Through MaxSAT

Josep Alos, Carlos Ansotegui, Eduard Torres

We present an approach to improve the accuracy-interpretability trade-off of Machine Learning (ML) Decision Trees (DTs). In particular, we apply Maximum Satisfiability technology t…