Exploiting Constraint Reasoning to Build Graphical Explanations for Mixed-Integer Linear Programming

Roger Xavier Lera-Leri, Filippo Bistaffa, Athina Georgara +1

Following the recent push for trustworthy AI, there has been an increasing interest in developing contrastive explanation techniques for optimisation, especially concerning the sol…