Automatically configuring constraint satisfaction programs: A case study

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text

Computing, Computer Science, Mathematics +16

New methods to color the vertices of a graph

Daniel Brélaz · Communications of the ACM · 1979 · 1.6K citations · Full text

Natural Sciences, Computer Science, Mathematics +16

Machine learning: An artificial intelligence approach

Earl Hunt · Journal of Mathematical Psychology · 1983 · 1.4K citations

Computing, Computer Science, Artificial Intelligence +11

A new method for solving hard satisfiability problems

Bart Selman, Hector J. Levesque, David G. M. Mitchell · 1992 · 1.2K citations

Computing, Computer Science, Mathematics +14

Explanation-Based Generalization: A Unifying View

Tom M. Mitchell, Richard M. Keller, Smadar T. Kedar-Cabelli · Machine Learning · 1986 · 1.2K citations · Full text

Computing, Computer Science, Knowledge Representation +7