Core-Guided Minimal Correction Set and Core EnumerationMarkNina Narodytska[0]Nikolaj Bjørner[0]Maria-Cristina Marinescu[0]Mooly Sagiv[0]IJCAI, pp. 1353-1361, 2018.Cited by: 16|Bibtex|Views44EI Other Links: dblp.uni-trier.de|academic.microsoft.comCode: Data: Full TextPPT (Upload PPT)Update Full TextUpload PPTFull TextYour rating :0 TagsCommentsSubmit
