Core-Guided Minimal Correction Set and Core Enumeration.

Nina Narodytska Nikolaj Bjørner Maria-Cristina V. Marinescu Mooly Sagiv

Published in: IJCAI (2018)

Keyphrases

small number
database
real time
data sets
information retrieval
bayesian networks
search space
convex hull