An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction.

Mark E. Stickel Mabry Tyson

Published in: IJCAI (1985)

Keyphrases

depth first search
automated deduction
breadth first search
genetic algorithm
special case
upper bound
logic programming
orders of magnitude