How many diagnoses do we need?

A theory of diagnosis from first principles

Raymond Reiter · Artificial Intelligence · 1987 · 2.9K citations

Social Sciences, Psychology, Diagnostic Reasoning +6

Combinational profiles of sequential benchmark circuits

F. Brglez, D. Bryan, Krzysztof Koźmiński · 2003 · 2.1K citations

Engineering, Computer Engineering, Computer Science +17

Diagnosing multiple faults

Johan de Kleer, Brian C. Williams · Artificial Intelligence · 1987 · 2.1K citations

Unveiling the ISCAS-85 benchmarks: a case study in reverse engineering

Mark C. Hansen, Hakan Yalcin, John P. Hayes · IEEE Design & Test of Computers · 1999 · 538 citations

Engineering, Computer Engineering, Electrical Engineering +12

A model-based approach to reactive self-configuring systems

Brian C. Williams, P. Pandurang Nayak · 1996 · 489 citations

Engineering, Autonomous Systems, Computer Science +15