Bleukx I, Flippo M, Bogaerts B, Demirović E, Guns T. Using Certifying Constraint Solvers for Generating Step-wise Explanations. AAAI [Internet]. 2026 Mar. 14 [cited 2026 May 30];40(17):14192-200. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/38432