Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)

Emilio Gamba, Bart Bogaerts, Tias Guns

We build on a recently proposed method for stepwise explaining solutions of Constraint Satisfaction Problems (CSP) in a human-understandable way. An explanation here is a sequence…