I. Bleukx, M. Flippo, B. Bogaerts, E. Demirović, and T. Guns, “Using Certifying Constraint Solvers for Generating Step-wise Explanations”, AAAI, vol. 40, no. 17, pp. 14192–14200, Mar. 2026.