Core-Guided Minimal Correction Set and Core Enumeration.

Nina Narodytska, Nikolaj S. Bjrner, Maria-Cristina V. Marinescu, Mooly Sagiv

Browse the full IJCAI paper archive.