An SE-tree-based prime implicant generation algorithm

A Mathematical Theory of Communication

Claude E. Shannon · Bell System Technical Journal · 1948 · 80.7K citations

Engineering, Communication, Electrical Engineering +11

A theory of diagnosis from first principles

Raymond Reiter · Artificial Intelligence · 1987 · 2.9K citations

Social Sciences, Psychology, Diagnostic Reasoning +6

Minimization of Boolean Functions*

E.J. McCluskey · Bell System Technical Journal · 1956 · 1.2K citations

Natural Sciences, Computer Science, Mathematics +16

The Problem of Simplifying Truth Functions

W. V. Quine · American Mathematical Monthly · 1952 · 801 citations

Natural Sciences, Computer Science, Mathematics +11

The map method for synthesis of combinational logic circuits

M. Karnaugh · Transactions of the American Institute of Electrical Engineers Part I Communication and Electronics · 1953 · 627 citations

Engineering, Computer Engineering, Computer Science +12