Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

Emilio Gamba, Bart Bogaerts, Tias Guns

We build on a recently proposed method for explaining solutions of constraint satisfaction problems. An explanation here is a sequence of simple inference steps, where the simplici…