Joao Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov. On Computing Minimal Correction Subsets. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 615-622, IJCAI/AAAI, 2013. [doi]
Abstract is missing.