Recursive Online Enumeration of All Minimal Unsatisfiable Subsets.

Jaroslav Bendík Ivana Cerná Nikola Benes

Published in: ATVA (2018)

Keyphrases

unsatisfiable cores
real time
online learning
neural network
data sets
databases
digital libraries
phase transition
recursive queries