Efficiently Explaining CSPs with Unsatisfiable Subset Optimization.

Emilio Gamba, Bart Bogaerts, Tias Guns

Browse the full IJCAI paper archive.