On Computing Minimal Correction Subsets.

Joo Marques-Silva, Federico Heras, Mikols Janota, Alessandro Previti, Anton Belov

Browse the full IJCAI paper archive.