Core-guided minimal correction set and core enumeration

Nina Narodytska, Nikolaj Bjørner, Maria Cristina Marinescu, Mooly Sagiv

Producció científica: Capítol de llibreContribució a congrés/conferènciaAvaluat per experts

34 Cites (Scopus)

Fingerprint

Navegar pels temes de recerca de 'Core-guided minimal correction set and core enumeration'. Junts formen un fingerprint únic.

Computer Science