%0 Journal Article %1 paper:liffiton:2008 %A Liffiton, Mark H. %A Sakallah, Karem A. %C Secaucus, NJ, USA %D 2008 %I Springer-Verlag New York, Inc. %J Journal of Automated Reasoning %K MUS diagnosis %P 1--33 %T Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints %V 40

@article{paper:liffiton:2008, added-at = {2011-07-14T21:11:56.000+0200}, address = {Secaucus, NJ, USA}, author = {Liffiton, Mark H. and Sakallah, Karem A.}, biburl = {https://www.bibsonomy.org/bibtex/2fad32e09dde846bb8ad63e2515ac82ca/mschuber}, interhash = {00ad862516a9b4623799bfcae071cf81}, intrahash = {fad32e09dde846bb8ad63e2515ac82ca}, journal = {Journal of Automated Reasoning}, keywords = {MUS diagnosis}, month = {January}, pages = {1--33}, publisher = {Springer-Verlag New York, Inc.}, timestamp = {2011-07-14T21:11:56.000+0200}, title = {Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints}, volume = 40, year = 2008 }