Andreas Bauer 0002. Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles. In Roman Barták, Michela Milano, editors, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings. Volume 3524 of Lecture Notes in Computer Science, pages 49-63, Springer, 2005. [doi]
Abstract is missing.