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

ric Grgoire, Bertrand Mazure, Cdric Piette, Lakhdar Sais

Browse the full IRI paper archive.