What type of study is this?

This is a Quantitative Study study.

October 19, 2025Open Access

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

View Full Paper

Ask AI

Bookmark

X-MILP uses constraint reasoning to provide contrastive explanations for mixed-integer linear programming (MILP) solutions.
The method creates a 'graph of reasons' derived from the Irreducible Infeasible Subsystem (IIS) to elaborate on user queries.
Empirical tests on established optimisation problems evaluate the effectiveness and complexity of computing explanations.
This approach aims to improve transparency in decision-making processes associated with MILPs, enhancing user understanding.

No takes yet. Share an insight, caveat, or question.

X-MILP builds contrastive explanations for optimisation problems using constraint reasoning, revealing underlying decision-making structures.

Lera-Leri et al. (2025) studied this question.

View Full Paper

Ask AI

Bookmark

X-MILP builds contrastive explanations for optimisation problems using constraint reasoning, revealing underlying decision-making structures.