Efficient MUS extraction with resolution.

Alexander Nadel Vadim Ryvchin Ofer Strichman

Published in: FMCAD (2013)

Keyphrases

cost effective
information retrieval
image processing
database systems
computationally expensive
data sets
data streams
xml documents