Keyword:Unsatisfiable Subset Optimization

Publications
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (Extended Abstract) Emilio Gamba, Bart Bogaerts and Tias Guns EasyChair Preprint 8773