A New Class of Automated Theorem-Proving Algorithms.

Ross A. Overbeek

Published in: J. ACM (1974)

Keyphrases

search methods
automated theorem proving
orders of magnitude
data sets
genetic algorithm
neural network
decision trees
significant improvement
inference rules
evolutionary algorithm
general purpose
optimization problems
times faster