Bleukx, I.; Flippo, M.; Bogaerts, B.; Demirović, E.; Guns, T. Using Certifying Constraint Solvers for Generating Step-Wise Explanations. AAAI 2026, 40, 14192-14200.