TY - RPRT TI - Exploiting Constraint Reasoning to Build Graphical Explanations for Mixed-Integer Linear Programming AU - Roger Xavier Lera-Leri AU - Filippo Bistaffa AU - Athina Georgara AU - Juan Antonio Rodriguez-Aguilar PY - 2025 UR - https://arxiv.org/abs/2507.13007 ID - 2507.13007 ER -