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 | SPRINGER-VERLAG BERLIN | Published : 2005