@misc{indiciaedb78a358637c,
  title = {Exploiting Constraint Reasoning to Build Graphical Explanations for Mixed-Integer Linear Programming},
  author = {Roger Xavier Lera-Leri and Filippo Bistaffa and Athina Georgara and Juan Antonio Rodriguez-Aguilar},
  year = {2025},
  url = {https://arxiv.org/abs/2507.13007},
  note = {Source identifier: 2507.13007}
}