A Supplementary Material

Thus, Proposition 1 yields a smallest PI-explanation.Proposition 2. PI-explanations of an XLC can be enumerated with log-linear delay. This means that all PIexplanations will be found. Thus, all leaves correspond to PI-explanations. Figure 5: Percentage of important "hits" of explanations produced by Anchor and SHAP .