Conference Proceedings
Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization
J Bailey, PJ Stuckey, M Hermenegildo, D Cabeza
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS | SPRINGER-VERLAG BERLIN | Published : 2005