Factoring Out Assumptions to Speed Up MUS Extraction.

Jean-Marie Lagniez Armin Biere

Published in: SAT (2013)

Keyphrases

automatic extraction
information extraction
comparative analysis
data sets
computer vision
image processing
object extraction
artificial intelligence
social networks
three dimensional
data structure
text mining
automatically extracting
homo sapiens