Finding all minimal unsatisfiable subsets.

Maria J. García de la Banda Peter J. Stuckey Jeremy Wazny

Published in: PPDP (2003)

Keyphrases

unsatisfiable cores
feature selection
real world
artificial intelligence
phase transition
data sets
learning algorithm
search engine
information systems
metadata
image processing
case study
minimal subsets