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