본 논문은 신뢰할 수 있는 AI에 대한 최근의 움직임에 따라, 특히 MILP(Mixed Integer Linear Programming) 문제 해결과 같은 특정 의사결정 과정에 대한 대조적 설명 기술 개발에 대한 관심이 증가함에 따라, MILP에 대한 대조적 설명을 생성하는 도메인 독립적인 방법인 X-MILP를 제안합니다. X-MILP는 사용자의 MILP 문제 해결에 대한 질문을 추가적인 제약 조건으로 인코딩하고, 새롭게 얻어진 제약 조건 집합의 Irreducible Infeasible Subsystem (IIS)을 계산하여 질문에 대한 답을 구성하는 이유를 결정합니다. 마지막으로, IIS로부터 구성된 "이유 그래프"로 설명을 표현하여 사용자가 질문에 대한 답을 구성하는 이유들 간의 구조를 이해하도록 돕습니다. 잘 알려진 최적화 문제의 인스턴스를 사용하여 설명 계산의 경험적 어려움을 평가합니다.