Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets.

Jaroslav Bendík Ivana Cerna

Published in: LPAR (2018)

Keyphrases

domain specific
evaluation methods
evaluation model
unsatisfiable cores
information retrieval
search space
constraint satisfaction
evaluation metrics
minimal subsets