Using Certifying Constraint Solvers for Generating Step-wise Explanations.

Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirovic, Tias Guns

Browse the full AAAI paper archive.