An incremental method for generating prime implicants/implicates

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Computing, Computer Science, Decision Support Systems +4

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text

Computing, Computer Science, Mathematics +15

Diagnosing multiple faults

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

An assumption-based TMS

Johan de Kleer · Artificial Intelligence · 1986 · 1.8K citations

Found ations of assumption-based truth maintenance systems: preliminary report

Raymond Reiter, Johan de Kleer · National Conference on Artificial Intelligence · 1987 · 304 citations

Computing, Computer Science, Formal Methods +13