TY  - RPRT
TI  - Using Certifying Constraint Solvers for Generating Step-wise Explanations
AU  - Ignace Bleukx
AU  - Maarten Flippo
AU  - Bart Bogaerts
AU  - Emir Demirović
AU  - Tias Guns
PY  - 2025
UR  - https://arxiv.org/abs/2511.10428
ID  - 2511.10428
ER  -