Refinements to Depth-First Iterative-Deepening Search in Automatic Theorem Proving.

Xumin Nie David A. Plaisted

Published in: Artif. Intell. (1989)

Keyphrases

iterative deepening
memory efficient
search tree
depth first search
search problems
evaluation function
tree search
state space search
branch and bound search
automatic theorem proving
heuristic search algorithms
search algorithm
alpha beta
search space
orders of magnitude