depth-first search optimization

depth-first search optimization is a unknown technology tracked in AI research papers.