@InProceedings{CPAIOR-05, author = {Andreas Bauer}, editor = {Roman Bart{\'a}k and Michela Milano}, title = {Simplifying diagnosis using {LSAT}: a propositional approach to reasoning from first principles}, booktitle = {Proceedings of the 2005 International Conference on Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR)}, year = 2005, series = {Lecture Notes in Computer Science}, pages = {49--63}, volume = 3524, month = Jun, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg}, isbn = {3-540-26152-4} }