Premise Set Caching for Enumerating Minimal Correction Subsets.

Alessandro Previti, Carlos Menca, Matti Jrvisalo, Joo Marques-Silva

Browse the full AAAI paper archive.