EasyChair Smart Slide
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (Extended Abstract)
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (Extended Abstract)