Premise Set Caching for Enumerating Minimal Correction Subsets
Descripción física:p. 6633-6640
AAAI Conference on Artificial Intelligence (AAAI-18) (32nd. 2018. New Orleans, Louisiana, USA)
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.