Keyword:Unsatisfiable Subset Optimization

Publications
EasyChair Preprint 8773