Recursive Online Enumeration of All Minimal Unsatisfiable Subsets.

Jaroslav Bendík Nikola Benes Ivana Cerna

Published in: CoRR (2017)

Keyphrases

online learning
unsatisfiable cores
search space
real time
databases
decision trees
online communities
online algorithms
data sets
search engine
orders of magnitude
phase transition
sat solvers
minimal subsets