CS 161 Recitation Notes - Or Trees
There are several methods typically used to search OR-trees. The
most obvious of these (and the easiest to implement) is depth-first
search, or DFS. To explore a tree in depth-first search order,
you generate and expand the first child of a node before
generating its other children.