この研究では、説明可能な制約解決の分野における問題の不満足性を説明するための手法として、段階的な説明生成に焦点を当てています。提案された方法は、問題の証明を基に段階的説明を計算することです。具体的には、抽象的な証明のフレームワークを定義し、証明と段階的説明の両方を表現できるようにしました。さらに、証明を段階的な説明に変換するためのいくつかの方法を提案し、特に説明の簡略化や trimming テクニックに注目しています。このアプローチにより、段階的説明が大幅に高速化され、得られる説明の質は現在の最先端技術に匹敵することが示されています。