Minimal model semantics for diagnosis -- techniques and first benchmarks

In this paper we discuss the main techniques of the modelbased reasoning system DRUM-2, a system using minimal model semantics for computing diagnoses. We describe diierent techniques (including techniques used in previous systems, their drawbacks and the necessary improvements in DRUM-2) and show some preliminary runtime results using the combinatorial circuits from the ISCAS-85 benchmarks.