Extracting MUCs from Constraint Networks.

Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frdric Boussemart

Browse the full ECAI paper archive.