Open AccessPremise Set Caching for Enumerating Minimal Correction Subsets
Author(s) -
Alessandro Previti,
Carlos Mencía,
Matti Järvisalo,
João Marques-Silva
Publication year - 2018
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v32i1.12213
Subject(s) - enumeration , computer science , set (abstract data type) , axiom , debugging , theoretical computer science , premise , cache , process (computing) , programming language , algorithm , parallel computing , mathematics , discrete mathematics , linguistics , philosophy , geometry