On Computing Minimal Correction Subsets

Open in new window