Search Trees
By applying operators from a given state we generate its children or successors.
Successors are descendants as are successors of descendants.
If we ignore possible equivalent states among descendants, we get a tree structure.
Depth-First Search: Examine the nodes of the tree by fully exploring the descendants of a node before trying any siblings of a node.