Media type: E-Article Title: Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints Contributor: Liffiton, Mark H.; Sakallah, Karem A. Published: Springer Science and Business Media LLC, 2008 Published in: Journal of Automated Reasoning, 40 (2008) 1, Seite 1-33 Language: English DOI: 10.1007/s10817-007-9084-z ISSN: 0168-7433; 1573-0670 Origination: Footnote: