A New Approach to Partial MUS Enumeration.

Christian Zielke Michael Kaufmann

Published in: SAT (2015)

Keyphrases

comparative analysis
search space
dynamic programming
machine learning
multiresolution
image segmentation