Premise Set Caching for Enumerating Minimal Correction Subsets
Autor(es) y otros:
Fecha de publicación:
2018
Descripción física:
p. 6633-6640
Descripción:
AAAI Conference on Artificial Intelligence (AAAI-18) (32nd. 2018. New Orleans, Louisiana, USA)
Patrocinado por:
A.P. and M.J. were supported by Academy of Finland (grants 251170 COIN, 276412, 284591, and 312662) and the Research Funds of the University of Helsinki. C.M. was supported by grant TIN2016-79190-R. J.M.S. was supported by FCT funding of LASIGE Research Unit, ref. UID/CEC/00408/2013.