On Improving MUS Extraction Algorithms.

João P. Marques Silva Inês Lynce

Published in: SAT (2011)

Keyphrases

recently developed
data sets
significant improvement
learning algorithm
computational cost
times faster
case study
data structure
computationally expensive
clustering algorithm
similarity measure
knowledge discovery