Does This Set of Clauses Overlap with at Least One MUS?

Éric Grégoire Bertrand Mazure Cédric Piette

Published in: CADE (2009)

Keyphrases

small number
machine learning
data sets
information retrieval
learning algorithm
information systems
website
bayesian networks
search algorithm
lower bound
probability distribution
first order logic
normal form
comparative analysis