Additional Key Words and Phrases: heuristic search, graph search, derivation graphs, completeness, minimality, evaluation functions, derivation costs, heuristic estimators, artificial intelligence, theorem-proving, resolution
Selected references
- Lawrence Wos, George A. Robinson, and Daniel F. Carson. Efficiency and completeness of the set of support strategy in theorem proving. Journal of the ACM, 12(4):536-541, October 1965.