A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs.

Éric Grégoire Bertrand Mazure Cédric Piette Lakhdar Sais

Published in: IRI (2006)

Keyphrases

experimental evaluation
clustering method
pairwise
cost function
high accuracy
similarity measure
significant improvement
dynamic programming
support vector machine svm
synthetic data
search algorithm
preprocessing
edge detection
detection method
constraint satisfaction
decomposition method