On Computing the Union of MUSes.

Carlos Mencía Oliver Kullmann Alexey Ignatiev João Marques-Silva

Published in: SAT (2019)

Keyphrases

artificial neural networks
case study
special case
databases
information retrieval
learning environment
cooperative
support vector
natural language
data analysis
color images
probabilistic model
medical images