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

Open in new window