### 2.1.4. Explanation view

Given a constraint that cannot be satisfied the goal is to identify a smallest subset of variables and values for explaining that the constraint has no solution. Similarly, given a constraint that can be satisfied and a variable-value pair $\left(\mathrm{𝑣𝑎𝑟},\mathrm{𝑣𝑎𝑙}\right)$ such that, if value $\mathrm{𝑣𝑎𝑙}$ is assigned to variable $\mathrm{𝑣𝑎𝑟}$ the constraint has no solution, the same question arises. Explanations are expressed in term of values that should be added to the domains of some variables in order to prevent unsatisfiability or filtering.

For the $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$ constraint Figure 2.1.3 provides the explanation attached to the instance described in Figure 2.1.1, i.e. what arcs should be added to prevent value 3 from being removed from the domain of variable ${V}_{2}$.