제약 조건 해결 분야에서 문제의 불만족 이유를 설명하는 것은 중요한 과제입니다. 이 논문은 기존의 단계별 설명 계산의 높은 계산 비용 문제를 해결하기 위해, 제약 조건 해결기가 생성한 증명을 활용하여 단계별 설명을 생성하는 새로운 방법을 제안합니다. 특히, 증명과 단계별 설명을 모두 표현할 수 있는 추상 증명 프레임워크를 정의하고, 증명을 단계별 설명 시퀀스로 변환하는 여러 가지 방법을 제시합니다. 이러한 방법에는 시퀀스와 개별 단계를 작게 유지하기 위한 트리밍 및 단순화 기술이 포함됩니다. 연구 결과는 제안된 방법이 단계별 설명 시퀀스 생성을 크게 가속화하면서, 결과 설명의 품질은 기존 최첨단 기술과 유사함을 보여줍니다.
