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

Citation metrics

75Web of Science
113Scopus

Keywords

1st Principles
Hypergraph Transversals
Computer Science, Theory & Methods
Science & Technology
Diagnosis
Computer Science
Computer Science, Software Engineering
Constraint Solving
Minimal Unsatisfiable Sets
Technology
Hitting Sets