On the Superiority of Conflict-Driven Search in MUS Enumeration.

Roxane Koitz-Hristov Franz Wotawa

Published in: DX (2018)

Keyphrases

search space
search algorithm
data driven
search methods
comparative analysis
search efficiency
search strategy
search tools
data mining
information retrieval
website
search queries
information access
exhaustive search
search mechanism