bounding function is called Depth first node generation with backtracking.

State
generation methods in which the E-node remains the E-node until it is dead lead to
branch-and-bound method.