Bleukx, Ignace, Maarten Flippo, Bart Bogaerts, Emir Demirović, and Tias Guns. 2026. “Using Certifying Constraint Solvers for Generating Step-Wise Explanations”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (17):14192-200. https://doi.org/10.1609/aaai.v40i17.38432.