Optimizing Binary Decision Diagrams with MaxSAT for classification

Hao Hu, Marie-José Huguet, Mohamed Siala

The growing interest in explainable artificial intelligence (XAI) for critical decision making motivates the need for interpretable machine learning (ML) models. In fact, due to th…