Explaining constraint programs is useful for debugging an unsatisfiable program, to understand why a given solution is optimal, or to understand how to find a unique solution. A recently proposed framework for explaining constraint programs works well to explain the unique solution to a problem step by step. It can also be used to step-wise explain why a model is unsatisfiable, but this may create redundant steps and introduce superfluous information into the explanation sequence. This paper proposes methods to simplify a (step-wise) explanation sequence, to generate simple steps that together form a short, interpretable sequence. We propose an algorithm to greedily construct an initial sequence and two filtering algorithms that eliminate redundant steps and unnecessarily complex parts of explanation sequences. Experiments on diverse benchmark instances show that our techniques can significantly simplify step-wise explanation sequences.
Originele taal-2Undefined/Unknown
TitelSimplifying Step-Wise Explanation Sequences
UitgeverijSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Aantal pagina's20
ISBN van geprinte versie978-3-95977-300-3
StatusPublished - 2023
Evenement29th International Conference on Principles and Practice of Constraint Programming - Toronta, Canada
Duur: 27 aug 202331 aug 2023


Conference29th International Conference on Principles and Practice of Constraint Programming
Verkorte titelCP 2023
Internet adres

Citeer dit